Newest at the top
| 2025-10-15 20:38:41 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-15 20:38:15 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 245 seconds) |
| 2025-10-15 20:37:43 +0200 | n0um3n4 | (~n0um3n4@104.28.199.134) |
| 2025-10-15 20:34:35 +0200 | n0um3n4 | (~n0um3n4@104.28.199.134) (Remote host closed the connection) |
| 2025-10-15 20:27:02 +0200 | irfan | (~irfan@user/irfan) (Quit: WeeChat 4.7.1) |
| 2025-10-15 20:26:45 +0200 | <EvanR> | like the my brain exploded escaped skolem or something |
| 2025-10-15 20:26:22 +0200 | <EvanR> | and perhaps still not working if you customize it wrong, and violate some rules of existential types |
| 2025-10-15 20:26:17 +0200 | stew | veggie_stew |
| 2025-10-15 20:25:58 +0200 | n0um3n4 | (~n0um3n4@104.28.199.134) |
| 2025-10-15 20:25:38 +0200 | <EvanR> | but if you try to construct the example for catches you run into extentions needing to be enabled |
| 2025-10-15 20:25:16 +0200 | <EvanR> | fromException and toException are how you convert the exceptions, how they work isn't really required knowledge |
| 2025-10-15 20:25:01 +0200 | <monochrom> | SomeException is an existential type. |
| 2025-10-15 20:24:56 +0200 | spew | stew |
| 2025-10-15 20:24:32 +0200 | <EvanR> | eh? |
| 2025-10-15 20:24:19 +0200 | <monochrom> | SomeException also assumes you know existential types. |
| 2025-10-15 20:21:41 +0200 | <tomsmeding> | yeah the haddocks for catches is pretty good |
| 2025-10-15 20:21:24 +0200 | <EvanR> | and now I only just noticed xD |
| 2025-10-15 20:21:02 +0200 | <EvanR> | the haddock for catches just say you need to use the Handler type, and shows an example, but does not mention the existential or what that means, just assumes you know how to use it |
| 2025-10-15 20:20:44 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 20:20:40 +0200 | <monochrom> | Misusing existential types, and/or taking it as the go-to technique. |
| 2025-10-15 20:20:11 +0200 | <tomsmeding> | which problem? |
| 2025-10-15 20:19:37 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 20:19:26 +0200 | <monochrom> | Or fortunately? I feel like the problem is caused by mentioning existential types, not by not mentioning. |
| 2025-10-15 20:18:41 +0200 | <monochrom> | Unfortunately the Gentle Introduction predated existential types. |
| 2025-10-15 20:15:34 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 20:15:27 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-15 20:15:20 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 20:11:24 +0200 | michalz | (~michalz@185.246.207.215) (Ping timeout: 252 seconds) |
| 2025-10-15 20:10:22 +0200 | michalz_ | (~michalz@185.246.207.222) |
| 2025-10-15 20:04:33 +0200 | Axma32074 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-10-15 20:03:04 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-10-15 20:01:09 +0200 | <EvanR> | (existential style wouldn't be so bad if it was explained somewhere obvious when you're trying to learn the language. It's unfortunately not in "a gentle introduction" xD) |
| 2025-10-15 19:57:57 +0200 | <EvanR> | so much for simplehaskell.org |
| 2025-10-15 19:57:42 +0200 | <EvanR> | requires understanding "existential" style polymorphism |
| 2025-10-15 19:57:30 +0200 | inline | (~inline@2a02:8071:57a1:1260:810a:b569:d13b:c6fe) Inline |
| 2025-10-15 19:57:25 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-15 19:57:13 +0200 | <lambdabot> | IO a -> [Control.Exception.Handler a] -> IO a |
| 2025-10-15 19:57:12 +0200 | <EvanR> | :t Control.Exception.catches |
| 2025-10-15 19:57:03 +0200 | <EvanR> | it's interesting how something "as simple as" |
| 2025-10-15 19:46:54 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Quit: Leaving) |
| 2025-10-15 19:45:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-10-15 19:41:26 +0200 | <tomsmeding> | it would just throw a different error |
| 2025-10-15 19:41:21 +0200 | <tomsmeding> | sure, but doA wouldn't fix that, would it? |
| 2025-10-15 19:37:38 +0200 | <dminuoso> | i.e. when you do stuff like `Only a <- ...` |
| 2025-10-15 19:37:12 +0200 | <dminuoso> | Though in combination with some features like pattern matching it still breaks. |
| 2025-10-15 19:36:59 +0200 | <dminuoso> | tomsmeding: Well thats what I ended up using as its reliable enough for that (because it has no Monad instance) |
| 2025-10-15 19:35:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-15 19:31:16 +0200 | stilgart | (~Christoph@2001:41d0:2:8673::42) stilgart |
| 2025-10-15 19:29:46 +0200 | OftenFaded47 | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-10-15 19:25:33 +0200 | tccq | (~user@user/tccq) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |