Newest at the top
| 2026-06-11 05:08:50 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-06-11 05:08:25 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 276 seconds) |
| 2026-06-11 05:03:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (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:00:41 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 268 seconds) |
| 2026-06-11 04:56:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:56:00 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 04:45:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 04:41:37 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-11 04:41:20 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 04:41:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-11 04:40:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:36:02 +0000 | Googulator54 | (~Googulato@94-21-172-222.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-06-11 04:32:22 +0000 | Googulator62 | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 04:29:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-11 04:26:26 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2026-06-11 04:25:12 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) myxokephale |
| 2026-06-11 04:24:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:24:28 +0000 | <monochrom> | haha |
| 2026-06-11 04:21:05 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) synchromesh |
| 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:19:43 +0000 | <EvanR> | one has parentheses the other doesn't |
| 2026-06-11 04:15:24 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-06-11 04:14:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 04:09:38 +0000 | <monochrom> | (in -ddump-simpl) |
| 2026-06-11 04:09:24 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 256 seconds) |
| 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:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:08:35 +0000 | michalz | (~michalz@185.246.207.217) |
| 2026-06-11 04:06:30 +0000 | <mauke> | so I concur |
| 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:05:33 +0000 | <monochrom> | I believe no. |
| 2026-06-11 04:00:09 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) (Ping timeout: 265 seconds) |
| 2026-06-11 03:58:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 03:55:36 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) myxokephale |
| 2026-06-11 03:54:10 +0000 | vivaldi` | (~ident@user/blackbox) (Quit: vivaldi`) |
| 2026-06-11 03:53:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:53:11 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 03:51:38 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) (Ping timeout: 258 seconds) |
| 2026-06-11 03:42:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 03:37:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:29:30 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2026-06-11 03:28:11 +0000 | kidcoconut | (~kidcoconu@user/kidcoconut) (brb) |
| 2026-06-11 03:26:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 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:19:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:10:18 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-06-11 03:08:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 03:03:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:01:11 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |