Logs: liberachat/#haskell
| 2025-09-26 13:58:32 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-26 13:59:11 | × | Googulator90 quits (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 14:00:37 | ft_ | is now known as ft |
| 2025-09-26 14:01:04 | → | mari99968 joins (~mari-este@user/mari-estel) |
| 2025-09-26 14:01:53 | <[exa]> | merijn: oh wow is there any example code for that |
| 2025-09-26 14:03:07 | × | mari-estel quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-09-26 14:03:12 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-09-26 14:03:21 | <[exa]> | oh you meant this https://hackage.haskell.org/package/exception-hierarchy ? |
| 2025-09-26 14:03:37 | <merijn> | [exa]: No, that uses TH |
| 2025-09-26 14:03:45 | <[exa]> | ah |
| 2025-09-26 14:04:05 | <[exa]> | exceptions-via ? |
| 2025-09-26 14:04:17 | <merijn> | [exa]: I mean the Simon Marlow paper: https://dl.acm.org/doi/abs/10.1145/1159842.1159854 |
| 2025-09-26 14:04:31 | <merijn> | This requires nothing not in base/GHC |
| 2025-09-26 14:05:03 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 265 seconds) |
| 2025-09-26 14:05:32 | <merijn> | I have an example somewhere |
| 2025-09-26 14:06:27 | <merijn> | https://github.com/merijn/Belewitte/blob/ed95965077ee0a55c9a206b75445ddf93723916b/benchmark-analysis/ffi-core/Exceptions/Class.hs#L4 |
| 2025-09-26 14:06:30 | <merijn> | https://github.com/merijn/Belewitte/blob/ed95965077ee0a55c9a206b75445ddf93723916b/benchmark-analysis/ffi-core/Exceptions.hs#L49 |
| 2025-09-26 14:06:38 | <merijn> | See the Simon paper on how it works |
| 2025-09-26 14:06:59 | <merijn> | I think you can actually do more powerful things than just tree style hierarchies with it |
| 2025-09-26 14:08:01 | <[exa]> | that's suuuuuuuuuper interesting |
| 2025-09-26 14:08:03 | <[exa]> | thanks a lot |
| 2025-09-26 14:08:29 | <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 14:08:37 | <merijn> | So you can use it, essentially, everywhere |
| 2025-09-26 14:09:29 | <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 14:11:08 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 14:14:29 | × | mari99968 quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-26 14:14:46 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 2025-09-26 14:15:27 | <[exa]> | yeah neither I read it |
| 2025-09-26 14:16:05 | <[exa]> | I can pass the same thing through validation etc, and have some combinators to actually meld the exceptions together |
| 2025-09-26 14:16:08 | <[exa]> | good |
| 2025-09-26 14:16:10 | <[exa]> | thanks! |
| 2025-09-26 14:20:00 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-26 14:23:55 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-26 14:31:31 | × | tromp quits (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-26 14:34:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-26 14:36:27 | × | inline quits (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2025-09-26 14:36:30 | <EvanR> | yeah Exceptions are dynamically typed |
| 2025-09-26 14:36:38 | <EvanR> | haskell is the best dynamically typed language |
| 2025-09-26 14:38:29 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-26 14:42:01 | <c_wraith> | well, now that it's illegal to manually declare an instance of Typeable, anyway |
| 2025-09-26 14:46:01 | → | inline joins (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) |
| 2025-09-26 14:46:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 14:49:13 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-09-26 14:52:25 | → | tromp joins (~textual@2001:1c00:3487:1b00:1c2c:dead:822d:e7f7) |
| 2025-09-26 14:53:15 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 2025-09-26 14:53:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 14:55:54 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-09-26 14:56:25 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 264 seconds) |
| 2025-09-26 14:56:35 | Googulator75 | is now known as Googulator |
| 2025-09-26 14:56:35 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 14:56:49 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 14:58:29 | → | cawfee joins (root@2401:c080:3800:3460::babe) |
| 2025-09-26 15:04:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 15:06:46 | → | sp1ff joins (~user@2601:1c2:4c00:6820::1528) |
| 2025-09-26 15:09:17 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 2025-09-26 15:09:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-26 15:13:38 | → | FragByte joins (~christian@user/fragbyte) |
| 2025-09-26 15:15:42 | → | Googulator29 joins (~Googulato@81.183.235.203) |
| 2025-09-26 15:16:34 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-26 15:18:55 | × | Googulator quits (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:20:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 15:20:53 | → | Googulator38 joins (~Googulato@81.183.235.203) |
| 2025-09-26 15:22:45 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 250 seconds) |
| 2025-09-26 15:24:07 | × | Googulator29 quits (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:24:37 | × | inline quits (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-26 15:25:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-26 15:25:43 | → | inline joins (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) |
| 2025-09-26 15:26:41 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-26 15:26:54 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-26 15:27:30 | → | FragByte joins (~christian@user/fragbyte) |
| 2025-09-26 15:31:12 | → | FragByte_ joins (~christian@user/fragbyte) |
| 2025-09-26 15:32:39 | Googulator38 | is now known as Googulator |
| 2025-09-26 15:32:43 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 250 seconds) |
| 2025-09-26 15:32:43 | FragByte_ | is now known as FragByte |
| 2025-09-26 15:35:40 | → | Googulator36 joins (~Googulato@81.183.235.203) |
| 2025-09-26 15:36:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 15:37:10 | → | st_aldini joins (~Thunderbi@136.48.46.187) |
| 2025-09-26 15:38:51 | × | Googulator quits (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 15:39:13 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 250 seconds) |
| 2025-09-26 15:39:37 | × | inline quits (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-26 15:40:12 | → | FragByte joins (~christian@user/fragbyte) |
| 2025-09-26 15:40:25 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-09-26 15:41:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-26 15:41:04 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-09-26 15:41:46 | → | inline joins (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) |
| 2025-09-26 15:48:23 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-09-26 15:50:12 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-09-26 15:52:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 15:52:54 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-09-26 15:55:13 | × | peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 264 seconds) |
| 2025-09-26 15:55:38 | → | Googulator72 joins (~Googulato@81.183.235.203) |
| 2025-09-26 15:56:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-26 15:57:43 | → | sabino joins (~sabino@user/sabino) |
| 2025-09-26 15:58:47 | × | Googulator36 quits (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-09-26 16:02:32 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-09-26 16:03:57 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-26 16:07:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-26 16:10:35 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-26 16:12:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-26 16:14:36 | × | inline quits (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Quit: Leaving) |
All times are in UTC.