IRCBrowse

2026/04/06

Newest at the top

2026-04-06 19:43:14 +0000AlexNoo_(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:42:33 +0000AlexNoo(~AlexNoo@85.174.183.185)
2026-04-06 19:41:38 +0000AlexNoo(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:41:09 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-04-06 19:40:28 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-04-06 19:40:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 19:39:34 +0000AlexNoo__(~AlexNoo@85.174.183.185)
2026-04-06 19:38:50 +0000AlexNoo_(~AlexNoo@85.174.183.185)
2026-04-06 19:38:26 +0000AlexNoo__(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:38:06 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 255 seconds)
2026-04-06 19:37:54 +0000AlexNoo_(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:37:13 +0000AlexNoo(~AlexNoo@85.174.183.185)
2026-04-06 19:36:18 +0000AlexNoo(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:34:28 +0000monochromproposes MonadComprehension for GHC2037
2026-04-06 19:34:17 +0000 <geekosaur> and then ghc gave it back as an extension
2026-04-06 19:34:14 +0000AlexNoo__(~AlexNoo@85.174.183.185)
2026-04-06 19:33:58 +0000 <geekosaur> yep
2026-04-06 19:33:54 +0000 <monochrom> :'(
2026-04-06 19:33:45 +0000 <monochrom> Wait, 1.4 had "List comprehensions have been generalized to arbitrary monads"? And 98 took it away?!
2026-04-06 19:33:38 +0000AlexNoo__(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:33:30 +0000AlexNoo_(~AlexNoo@85.174.183.185)
2026-04-06 19:32:34 +0000AlexNoo_(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:31:53 +0000AlexNoo(~AlexNoo@85.174.183.185)
2026-04-06 19:30:58 +0000AlexNoo(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:29:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-06 19:28:58 +0000AlexNoo__(~AlexNoo@85.174.183.185)
2026-04-06 19:28:50 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-04-06 19:28:10 +0000AlexNoo_(~AlexNoo@85.174.183.185)
2026-04-06 19:27:51 +0000 <monochrom> https://www.haskell.org/definition/from12to13.html So probably 1.2 was [Reply] -> [Request], 1.3 began the IO Monad.
2026-04-06 19:27:46 +0000AlexNoo__(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:27:14 +0000AlexNoo_(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:26:33 +0000AlexNoo(~AlexNoo@85.174.183.185)
2026-04-06 19:25:38 +0000AlexNoo(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:23:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 19:23:34 +0000AlexNoo__(~AlexNoo@85.174.183.185)
2026-04-06 19:23:16 +0000preflex(~preflex@user/mauke/bot/preflex) preflex
2026-04-06 19:23:12 +0000 <monochrom> :(
2026-04-06 19:22:53 +0000 <int-e> (please nobody bring up the Therac-25... oops)
2026-04-06 19:22:50 +0000AlexNoo_(~AlexNoo@85.174.183.185)
2026-04-06 19:22:39 +0000preflex(~preflex@user/mauke/bot/preflex) (Remote host closed the connection)
2026-04-06 19:22:38 +0000 <monochrom> (I might say that, then, from CPS to monad is a fairly natural next step.)
2026-04-06 19:22:26 +0000AlexNoo__(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:22:00 +0000 <monochrom> (The CPS wrapper is then less error-prone in that regard.)
2026-04-06 19:21:54 +0000AlexNoo_(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:21:46 +0000 <int-e> (quite the opposite)
2026-04-06 19:21:41 +0000 <int-e> eh a little nontermination never killed anybody
2026-04-06 19:21:13 +0000AlexNoo(~AlexNoo@85.174.183.185)
2026-04-06 19:21:00 +0000 <monochrom> Strictly (pun! you'll see) speaking, [Reply] -> [Request] plus a very strong laziness assumption because clearly you should not force a reply before you emit a request...
2026-04-06 19:20:18 +0000AlexNoo(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:19:29 +0000 <monochrom> Yeah very old Haskell did [Reply] -> [Request]. And provided a CPS wrapper.