Newest at the top
| 2025-09-26 16:49:13 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-09-26 16:46:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-26 16:46:01 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) Inline |
| 2025-09-26 16:42:01 +0200 | <c_wraith> | well, now that it's illegal to manually declare an instance of Typeable, anyway |
| 2025-09-26 16:38:29 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-26 16:36:38 +0200 | <EvanR> | haskell is the best dynamically typed language |
| 2025-09-26 16:36:30 +0200 | <EvanR> | yeah Exceptions are dynamically typed |
| 2025-09-26 16:36:27 +0200 | inline | (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2025-09-26 16:34:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-26 16:31:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-26 16:23:55 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-26 16:20:00 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-26 16:16:10 +0200 | <[exa]> | thanks! |
| 2025-09-26 16:16:08 +0200 | <[exa]> | good |
| 2025-09-26 16:16:05 +0200 | <[exa]> | I can pass the same thing through validation etc, and have some combinators to actually meld the exceptions together |
| 2025-09-26 16:15:27 +0200 | <[exa]> | yeah neither I read it |
| 2025-09-26 16:14:46 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-26 16:14:29 +0200 | mari99968 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-26 16:11:08 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 16:09:29 +0200 | <merijn> | It's mentioned on the SomeException page with the paper, but no one ever reads it for some reason. It's a super neat trick, though |
| 2025-09-26 16:08:37 +0200 | <merijn> | So you can use it, essentially, everywhere |
| 2025-09-26 16:08:29 +0200 | <merijn> | Added bonus that it doesn't use anything that hasn't been in GHC for at least like 1 or 2 decades :p |
| 2025-09-26 16:08:03 +0200 | <[exa]> | thanks a lot |
| 2025-09-26 16:08:01 +0200 | <[exa]> | that's suuuuuuuuuper interesting |
| 2025-09-26 16:06:59 +0200 | <merijn> | I think you can actually do more powerful things than just tree style hierarchies with it |
| 2025-09-26 16:06:38 +0200 | <merijn> | See the Simon paper on how it works |
| 2025-09-26 16:06:30 +0200 | <merijn> | https://github.com/merijn/Belewitte/blob/ed95965077ee0a55c9a206b75445ddf93723916b/benchmark-analys… |
| 2025-09-26 16:06:27 +0200 | <merijn> | https://github.com/merijn/Belewitte/blob/ed95965077ee0a55c9a206b75445ddf93723916b/benchmark-analys… |
| 2025-09-26 16:05:32 +0200 | <merijn> | I have an example somewhere |
| 2025-09-26 16:05:03 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 265 seconds) |
| 2025-09-26 16:04:31 +0200 | <merijn> | This requires nothing not in base/GHC |
| 2025-09-26 16:04:17 +0200 | <merijn> | [exa]: I mean the Simon Marlow paper: https://dl.acm.org/doi/abs/10.1145/1159842.1159854 |
| 2025-09-26 16:04:05 +0200 | <[exa]> | exceptions-via ? |
| 2025-09-26 16:03:45 +0200 | <[exa]> | ah |
| 2025-09-26 16:03:37 +0200 | <merijn> | [exa]: No, that uses TH |
| 2025-09-26 16:03:21 +0200 | <[exa]> | oh you meant this https://hackage.haskell.org/package/exception-hierarchy ? |
| 2025-09-26 16:03:12 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-26 16:03:07 +0200 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-09-26 16:01:53 +0200 | <[exa]> | merijn: oh wow is there any example code for that |
| 2025-09-26 16:01:04 +0200 | mari99968 | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-26 16:00:37 +0200 | ft_ | ft |
| 2025-09-26 15:59:11 +0200 | Googulator90 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:58:32 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-26 15:55:42 +0200 | Googulator75 | (~Googulato@81.183.235.203) |
| 2025-09-26 15:53:59 +0200 | Googulator29 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:50:35 +0200 | Googulator90 | (~Googulato@81.183.235.203) |
| 2025-09-26 15:49:13 +0200 | Googulator46 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:45:59 +0200 | Googulator29 | (~Googulato@81.183.235.203) |
| 2025-09-26 15:44:12 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-26 15:44:01 +0200 | ft_ | (~ft@p4fc2a225.dip0.t-ipconnect.de) ft |