Newest at the top
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)) |
2025-10-15 19:24:38 +0200 | nogloff | (uid464985@id-464985.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-10-15 19:23:59 +0200 | inline_ | inline |
2025-10-15 19:20:16 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Ping timeout: 246 seconds) |
2025-10-15 19:19:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-10-15 19:17:14 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
2025-10-15 19:12:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
2025-10-15 19:12:21 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-15 19:12:02 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
2025-10-15 19:11:09 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Max SendQ exceeded) |
2025-10-15 19:10:29 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
2025-10-15 19:10:01 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Read error: Connection reset by peer) |
2025-10-15 19:09:53 +0200 | Guest6155 | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Ping timeout: 244 seconds) |
2025-10-15 19:08:12 +0200 | inline_ | inline |
2025-10-15 19:08:12 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Killed (osmium.libera.chat (Nickname regained by services))) |
2025-10-15 19:08:08 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
2025-10-15 19:06:50 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
2025-10-15 19:06:48 +0200 | inline_ | inline |
2025-10-15 19:06:48 +0200 | inline | Guest6155 |
2025-10-15 19:06:38 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-15 19:06:27 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
2025-10-15 19:04:17 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
2025-10-15 18:56:11 +0200 | tccq | (~user@user/tccq) tccq |
2025-10-15 18:53:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-15 18:36:06 +0200 | OftenFaded47 | (~OftenFade@user/tisktisk) OftenFaded |
2025-10-15 18:34:41 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-15 18:31:04 +0200 | <Leary> | dminuoso: You could use `A.do` with `QualifiedDo`, where `module A` provides `join` and `>>=` imposing `Unsatisfiable` constraints. |
2025-10-15 18:31:00 +0200 | mochie | (~mochie@93.124.228.5) (Quit: WeeChat 4.7.1) |
2025-10-15 18:29:02 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |