Logs: freenode/#haskell
| 2021-05-17 05:47:41 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 2021-05-17 05:51:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 05:51:29 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 05:51:54 | → | pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-17 05:53:39 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 2021-05-17 05:54:11 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 260 seconds) |
| 2021-05-17 05:54:13 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-05-17 05:55:11 | × | vk3wtf quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-17 05:55:28 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-17 05:55:34 | → | vk3wtf joins (~doc@61.68.250.44) |
| 2021-05-17 05:57:07 | × | SquidDev9 quits (~SquidDev@autoclave.squiddev.cc) (Quit: Bye!) |
| 2021-05-17 05:57:20 | → | SquidDev joins (~SquidDev@autoclave.squiddev.cc) |
| 2021-05-17 05:58:06 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 05:59:53 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-17 06:00:36 | → | Putonlalla joins (~sapekiis@it-cyan.it.jyu.fi) |
| 2021-05-17 06:00:58 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 06:01:26 | × | parabolize quits (~paraboliz@98.43.173.221) (Quit: leaving) |
| 2021-05-17 06:02:47 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-17 06:02:53 | → | nigel_c joins (~nigel_c@37.120.211.190) |
| 2021-05-17 06:03:42 | × | vk3wtf quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-17 06:04:13 | → | vk3wtf joins (~doc@61.68.250.44) |
| 2021-05-17 06:05:07 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2021-05-17 06:05:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 06:05:26 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-17 06:05:53 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 06:06:11 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-17 06:13:04 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-17 06:13:43 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-17 06:14:15 | × | ozzymcduff quits (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-17 06:17:02 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-17 06:18:54 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-17 06:19:12 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Quit: Leaving) |
| 2021-05-17 06:19:36 | × | forell quits (~forell@unaffiliated/forell) (Ping timeout: 252 seconds) |
| 2021-05-17 06:20:38 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT) |
| 2021-05-17 06:21:53 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-17 06:22:19 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 250 seconds) |
| 2021-05-17 06:22:34 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
| 2021-05-17 06:23:00 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 06:24:52 | → | forell joins (~forell@unaffiliated/forell) |
| 2021-05-17 06:25:00 | → | ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-05-17 06:26:36 | × | ThinkPad quits (~user@2603-8080-4904-7592-f519-f3d1-64ae-4f99.res6.spectrum.com) (Remote host closed the connection) |
| 2021-05-17 06:28:58 | → | michalz joins (~user@185.246.204.59) |
| 2021-05-17 06:31:35 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-17 06:32:14 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-17 06:32:27 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-fneayqvblanweaap) |
| 2021-05-17 06:32:41 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 06:33:03 | × | gzj quits (~gzj@unaffiliated/gzj) (Quit: Leaving) |
| 2021-05-17 06:33:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 06:34:00 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-17 06:34:21 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 06:34:44 | → | shiraeeshi joins (~shiraeesh@46.34.206.196) |
| 2021-05-17 06:34:54 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-17 06:36:53 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 06:37:30 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:c83:5be8:790f:a4a3) |
| 2021-05-17 06:38:00 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-17 06:39:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-17 06:39:48 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 06:41:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-17 06:41:39 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:c83:5be8:790f:a4a3) (Ping timeout: 245 seconds) |
| 2021-05-17 06:42:14 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:5e81:b1cb:3120:4542) |
| 2021-05-17 06:47:43 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 06:47:58 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 2021-05-17 06:48:02 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-17 06:52:18 | × | zaquest quits (~notzaques@5.128.210.178) (Read error: Connection reset by peer) |
| 2021-05-17 06:53:11 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-17 06:53:13 | → | kristijonas_ joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 06:53:40 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Read error: Connection reset by peer) |
| 2021-05-17 06:54:08 | → | jiribenes joins (~jiribenes@rosa.jiribenes.com) |
| 2021-05-17 06:55:26 | × | vchlup quits (~vchlup@nat.brnet.cz) (Ping timeout: 260 seconds) |
| 2021-05-17 07:02:10 | × | mcglk quits (~textual@131.191.49.120) (Ping timeout: 252 seconds) |
| 2021-05-17 07:05:47 | → | TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 2021-05-17 07:08:15 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-17 07:08:46 | × | shiraeeshi quits (~shiraeesh@46.34.206.196) (Ping timeout: 252 seconds) |
| 2021-05-17 07:08:47 | → | leah2 joins (~leah@vuxu.org) |
| 2021-05-17 07:09:32 | → | Sixtine joins (~Sixtine@97e577ed.skybroadband.com) |
| 2021-05-17 07:10:57 | <dminuoso> | Mmm, why does inRange have a seemingly flipped argument order? |
| 2021-05-17 07:11:19 | <dminuoso> | This seems more natural to me: 1 `inRange` (1,3) |
| 2021-05-17 07:12:08 | <opqdonut> | maybe it's meant to be partially applied in prefix form |
| 2021-05-17 07:12:20 | <opqdonut> | like `filter (inRange (1,3)) xs` |
| 2021-05-17 07:12:22 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-05-17 07:12:48 | <dminuoso> | Ah yeah, perhaps. |
| 2021-05-17 07:13:43 | <Putonlalla> | How often the "more constant argument first" convention is violated in Haskell is one of the most annoying things in it for me. |
| 2021-05-17 07:13:51 | × | nineonin_ quits (~nineonine@2604:3d08:777e:900:6098:71ed:d0b:952b) (Remote host closed the connection) |
| 2021-05-17 07:14:26 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-17 07:14:44 | <Putonlalla> | Functions and operators not being distinct language features is one of the reasons it happens so often. |
| 2021-05-17 07:15:06 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 07:15:20 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-17 07:15:29 | <dminuoso> | Is this realistically a problem? As long as its just two arguments, you can fit it on either side with ticks. |
| 2021-05-17 07:15:44 | <dminuoso> | i.e. filter (`inRange` (1,3)) |
| 2021-05-17 07:16:41 | <Putonlalla> | Not in this case, but you usually want `x / y` to be `div y x`, `x == y` to be `eqb y x` and so on... |
| 2021-05-17 07:16:55 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:e36f:f64f:f933:dd5f) (Ping timeout: 250 seconds) |
| 2021-05-17 07:17:08 | → | kuribas joins (~user@ptr-25vy0i7nzwn8pwwmwkq.18120a2.ip6.access.telenet.be) |
| 2021-05-17 07:17:44 | <Putonlalla> | That and some other unfortunate parts of the syntax is why we have functions like `subtract`. |
| 2021-05-17 07:18:47 | mayleesia | is now known as maylee |
| 2021-05-17 07:19:58 | <Putonlalla> | This problem is compounded in proof assistants, where functions that are structurally recursive on the first parameter only reduce when the head of that particular argument is a constructor. If you violate the "more constant argument first" convention, unfolding becomes much more tedious. |
| 2021-05-17 07:20:16 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-17 07:21:58 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-05-17 07:22:53 | × | libertyprime quits (~libertypr@118.149.80.101) (Read error: Connection reset by peer) |
| 2021-05-17 07:26:51 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Quit: Leaving) |
| 2021-05-17 07:29:30 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:aeb:7147:cca0:e8ac) |
All times are in UTC.