Newest at the top
| 2026-01-11 12:07:13 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-01-11 12:06:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-11 12:05:12 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-01-11 12:02:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 12:00:05 +0100 | <__monty__> | hadronized: You might be interested in the #proglangdesign channel. |
| 2026-01-11 11:55:58 +0100 | <lambdabot> | *Exception: <interactive>:3:5-25: Non-exhaustive patterns in x@(Right 3) |
| 2026-01-11 11:55:57 +0100 | <chromoblob> | > let x@(Right 3) = Right 5 in x |
| 2026-01-11 11:54:44 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) synchromesh |
| 2026-01-11 11:54:24 +0100 | <lambdabot> | *Exception: <interactive>:3:5-24: Non-exhaustive patterns in x@(Left y) |
| 2026-01-11 11:54:23 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) (Read error: Connection reset by peer) |
| 2026-01-11 11:54:23 +0100 | <chromoblob> | > let x@(Left y) = Right 5 in x |
| 2026-01-11 11:54:00 +0100 | <lambdabot> | *Exception: <interactive>:3:5-24: Non-exhaustive patterns in x@(Left y) |
| 2026-01-11 11:53:59 +0100 | <chromoblob> | > let x@(Left y) = Right y in x |
| 2026-01-11 11:51:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-11 11:47:49 +0100 | <hadronized> | I’m designing a new language, and I’m wondering about the benefit of refinement types over a type system which would encode the refinement in the types. Is it correct to state that we could emulate refinement types with static types, without probably refinement rules (like transitive rules that are probably hard to express on static types) |
| 2026-01-11 11:46:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 11:40:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-11 11:39:57 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-11 11:35:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 11:35:07 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit) |
| 2026-01-11 11:33:52 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-11 11:28:11 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-11 11:25:13 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-01-11 11:24:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-11 11:22:37 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-11 11:20:42 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-01-11 11:19:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 11:15:27 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-11 11:08:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-11 11:07:57 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2026-01-11 11:01:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 10:56:38 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-11 10:51:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-11 10:48:10 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-11 10:47:58 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-01-11 10:45:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 10:41:59 +0100 | acidjnk | (~acidjnk@p200300d6e7171930d5713a59355b93ee.dip0.t-ipconnect.de) acidjnk |
| 2026-01-11 10:36:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-11 10:31:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 10:30:09 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) |
| 2026-01-11 10:29:59 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-01-11 10:28:14 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-11 10:27:43 +0100 | jreicher | (~joelr@user/jreicher) (Ping timeout: 240 seconds) |
| 2026-01-11 10:26:09 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-11 10:21:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-11 10:17:06 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-11 10:15:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-11 10:04:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-11 10:04:34 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-11 10:00:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |