Newest at the top
| 2025-11-11 12:04:04 +0100 | <merijn> | Ideally one not as niche and obscure as Ur/Web |
| 2025-11-11 12:03:52 +0100 | <merijn> | I want my damn rowtype polymorhpism in a production language! >.< |
| 2025-11-11 12:03:34 +0100 | <merijn> | You know what I do want? |
| 2025-11-11 12:03:25 +0100 | <merijn> | So I'm not yet convinced that's what I want |
| 2025-11-11 12:03:17 +0100 | <merijn> | Those bring a lot of disadvantages too |
| 2025-11-11 12:00:37 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 11:53:39 +0100 | <kuribas> | I just feel dependent types are the logical conclusion of any advanced type system. |
| 2025-11-11 11:53:25 +0100 | deptype | (~deptype@2406:b400:3a:73c2:20ec:9ba6:a31e:71d2) (Ping timeout: 240 seconds) |
| 2025-11-11 11:52:31 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-11 11:51:50 +0100 | <kuribas> | Python, Typescript. |
| 2025-11-11 11:51:44 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:96bb:43ff:fecb:477b) |
| 2025-11-11 11:51:43 +0100 | <kuribas> | Then again, type level programming in other languages is strictly worse. |
| 2025-11-11 11:49:32 +0100 | <kuribas> | And possibly runtime as well. |
| 2025-11-11 11:49:23 +0100 | <kuribas> | I usually go with generics, but they have a big compile time cost. |
| 2025-11-11 11:49:00 +0100 | <kuribas> | Not necessarily type level, but usually there to avoid the boilerplate that comes with haskell type level stuff. |
| 2025-11-11 11:48:27 +0100 | <kuribas> | merijn: generating types, freemonads, lenses. |
| 2025-11-11 11:47:14 +0100 | <merijn> | kuribas: I don't think TH really counts as type level? |
| 2025-11-11 11:46:44 +0100 | <kuribas> | Haskell typelevel is this weird combination of untyped prolog, intricacies of type classes, and ad hoc extensions (generics, TH). |
| 2025-11-11 11:34:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-11 11:33:48 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-11 11:32:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-11 11:28:49 +0100 | Jackneill | (~Jackneill@188-143-82-32.pool.digikabel.hu) Jackneill |
| 2025-11-11 11:25:10 +0100 | starving_drummer | (~berke@user/Starving-Drummer:76786) Starving_Drummer |
| 2025-11-11 11:20:07 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 11:19:54 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 11:18:34 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-11-11 11:18:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) |
| 2025-11-11 11:17:59 +0100 | kuribas | (~user@2a02-1810-2825-6000-c59e-d8f1-aea0-564e.ip6.access.telenet.be) kuribas |
| 2025-11-11 11:17:44 +0100 | kuribas | (~user@2a02-1810-2825-6000-c59e-d8f1-aea0-564e.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-11-11 11:15:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-11 11:09:35 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-11 11:05:22 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 11:04:33 +0100 | trickard_ | trickard |
| 2025-11-11 11:04:23 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-11 11:03:04 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 11:02:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-11 11:01:18 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-11 11:01:00 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 2025-11-11 10:57:06 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-11 10:54:21 +0100 | artix_live_1 | (~loouom@109.166.130.42) |
| 2025-11-11 10:51:15 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-11 10:50:14 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-11 10:44:31 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-11 10:43:33 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 10:43:19 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 10:41:55 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-11 10:35:30 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-11 10:32:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-11 10:32:18 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 10:32:12 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |