2025/10/15

Newest at the top

2025-10-15 20:10:22 +0200michalz_(~michalz@185.246.207.222)
2025-10-15 20:04:33 +0200Axma32074(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-10-15 20:03:04 +0200Axman6(~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 +0200inline(~inline@2a02:8071:57a1:1260:810a:b569:d13b:c6fe) Inline
2025-10-15 19:57:25 +0200gustrb(~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 +0200inline(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Quit: Leaving)
2025-10-15 19:45:22 +0200tzh(~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 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-10-15 19:31:16 +0200stilgart(~Christoph@2001:41d0:2:8673::42) stilgart
2025-10-15 19:29:46 +0200OftenFaded47(~OftenFade@user/tisktisk) (Quit: Client closed)
2025-10-15 19:25:33 +0200tccq(~user@user/tccq) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50))
2025-10-15 19:24:38 +0200nogloff(uid464985@id-464985.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-10-15 19:23:59 +0200inline_inline
2025-10-15 19:20:16 +0200inline(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Ping timeout: 246 seconds)
2025-10-15 19:19:11 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-10-15 19:17:14 +0200inline_(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline
2025-10-15 19:12:57 +0200tromp(~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261)
2025-10-15 19:12:21 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-15 19:12:02 +0200inline(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline
2025-10-15 19:11:09 +0200inline(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Max SendQ exceeded)
2025-10-15 19:10:29 +0200inline(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline
2025-10-15 19:10:01 +0200inline(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Read error: Connection reset by peer)
2025-10-15 19:09:53 +0200Guest6155(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Ping timeout: 244 seconds)
2025-10-15 19:08:12 +0200inline_inline
2025-10-15 19:08:12 +0200inline(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Killed (osmium.libera.chat (Nickname regained by services)))
2025-10-15 19:08:08 +0200inline_(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline
2025-10-15 19:06:50 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-10-15 19:06:48 +0200inline_inline
2025-10-15 19:06:48 +0200inlineGuest6155
2025-10-15 19:06:38 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-15 19:06:27 +0200inline_(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline
2025-10-15 19:04:17 +0200inline(~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline
2025-10-15 18:56:11 +0200tccq(~user@user/tccq) tccq
2025-10-15 18:53:03 +0200tromp(~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-15 18:36:06 +0200OftenFaded47(~OftenFade@user/tisktisk) OftenFaded
2025-10-15 18:34:41 +0200gustrb(~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 +0200mochie(~mochie@93.124.228.5) (Quit: WeeChat 4.7.1)
2025-10-15 18:29:02 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)