| 2026-06-11 00:05:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:12:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 00:23:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:25:01 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-06-11 00:28:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 00:29:37 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-11 00:32:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-11 00:34:05 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-06-11 00:37:46 +0000 | czan | (~czan@user/mange) czan |
| 2026-06-11 00:39:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:44:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 00:53:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3e2c:9f05:7dab:9f7f) (Ping timeout: 246 seconds) |
| 2026-06-11 00:55:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:56:49 +0000 | elarks | (~elarks@user/yerrii) (Ping timeout: 244 seconds) |
| 2026-06-11 00:58:14 +0000 | elarks | (~elarks@user/yerrii) yerrii |
| 2026-06-11 01:00:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 01:05:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 01:08:43 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-06-11 01:10:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-06-11 01:11:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 01:15:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-11 01:27:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 01:28:23 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) synchromesh |
| 2026-06-11 01:28:46 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 01:29:49 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 01:30:10 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 01:32:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 01:41:41 +0000 | kidcoconut | (~kidcoconu@user/kidcoconut) kidcoconut |
| 2026-06-11 01:42:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 01:43:18 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Read error: Connection reset by peer) |
| 2026-06-11 01:46:55 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-06-11 01:50:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 01:54:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds) |
| 2026-06-11 01:59:16 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 01:59:32 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2026-06-11 02:00:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:03:21 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-11 02:03:36 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-11 02:05:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-11 02:16:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:17:08 +0000 | spew | (~spew@user/spew) spew |
| 2026-06-11 02:21:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 02:29:55 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-06-11 02:32:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:37:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-11 02:43:51 +0000 | Googulator54 | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 02:47:17 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-06-11 02:48:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:52:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 02:53:55 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-11 02:54:45 +0000 | td_ | (~td@83.135.9.0) (Ping timeout: 245 seconds) |
| 2026-06-11 02:56:43 +0000 | td_ | (~td@i5387092E.versanet.de) |
| 2026-06-11 03:01:11 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2026-06-11 03:03:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:08:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 03:10:18 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-06-11 03:19:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:26:01 +0000 | <Axman6> | Is there any difference (semantically, performance, anything else) between \(Foo x y) -> blah and \case Foo x y -> blah, when F has a single constructor? |
| 2026-06-11 03:26:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 03:28:11 +0000 | kidcoconut | (~kidcoconu@user/kidcoconut) (brb) |
| 2026-06-11 03:29:30 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2026-06-11 03:37:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:42:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 03:51:38 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) (Ping timeout: 258 seconds) |
| 2026-06-11 03:53:11 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 03:53:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:54:10 +0000 | vivaldi` | (~ident@user/blackbox) (Quit: vivaldi`) |
| 2026-06-11 03:55:36 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) myxokephale |
| 2026-06-11 03:58:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 04:00:09 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) (Ping timeout: 265 seconds) |
| 2026-06-11 04:05:33 +0000 | <monochrom> | I believe no. |
| 2026-06-11 04:06:25 +0000 | <mauke> | https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-260003.3 says \pat -> blah is equivalent to \fresh -> case fresh of pat -> blah |
| 2026-06-11 04:06:30 +0000 | <mauke> | so I concur |
| 2026-06-11 04:08:35 +0000 | michalz | (~michalz@185.246.207.217) |
| 2026-06-11 04:09:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:09:16 +0000 | <monochrom> | I wrote "f1 = \(Foo x y) -> (x,y)" and "f2 = \case Foo x y -> (x,y)". ghc -O compiled f2 to "f2 = f1". |
| 2026-06-11 04:09:24 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 256 seconds) |
| 2026-06-11 04:09:38 +0000 | <monochrom> | (in -ddump-simpl) |
| 2026-06-11 04:14:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 04:15:24 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-06-11 04:19:43 +0000 | <EvanR> | one has parentheses the other doesn't |
| 2026-06-11 04:20:41 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) (Read error: Connection reset by peer) |
| 2026-06-11 04:21:05 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) synchromesh |
| 2026-06-11 04:24:28 +0000 | <monochrom> | haha |
| 2026-06-11 04:24:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:25:12 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) myxokephale |
| 2026-06-11 04:26:26 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2026-06-11 04:29:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-11 04:32:22 +0000 | Googulator62 | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 04:36:02 +0000 | Googulator54 | (~Googulato@94-21-172-222.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-06-11 04:40:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:41:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-11 04:41:20 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 04:41:37 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-11 04:45:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 04:56:00 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 04:56:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:00:41 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 268 seconds) |
| 2026-06-11 05:02:34 +0000 | Enrico63 | (~Enrico63@host-87-1-153-31.retail.telecomitalia.it) Enrico63 |
| 2026-06-11 05:03:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-11 05:08:25 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 276 seconds) |
| 2026-06-11 05:08:50 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-06-11 05:10:27 +0000 | Axma60748 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 05:12:35 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-11 05:14:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:17:28 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.9.0) |
| 2026-06-11 05:18:24 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-06-11 05:18:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 05:22:03 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 05:22:14 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-06-11 05:27:25 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-11 05:29:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:31:10 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 244 seconds) |
| 2026-06-11 05:34:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-11 05:34:55 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-11 05:35:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:40:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 05:44:01 +0000 | traxex | (traxex@user/traxex) traxex |
| 2026-06-11 05:49:48 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-11 05:49:59 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-11 05:50:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:56:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |