2026/04/06

Newest at the top

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.
2026-04-06 19:18:14 +0000AlexNoo__(~AlexNoo@85.174.183.185)
2026-04-06 19:17:42 +0000 <monochrom> Generally, people want comfort-zone models, not models that actually works. (Just look at most analogies for Monad way back then.)
2026-04-06 19:17:30 +0000AlexNoo_(~AlexNoo@85.174.183.185)
2026-04-06 19:17:18 +0000m_a_r_k(~m_a_r_k@archlinux/support/mark) m_a_r_k
2026-04-06 19:17:06 +0000AlexNoo__(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:17:05 +0000puke(~puke@user/puke) (Quit: puke)
2026-04-06 19:16:34 +0000AlexNoo_(~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds)
2026-04-06 19:16:10 +0000 <int-e> (it predates my exposure to Haskell)
2026-04-06 19:15:56 +0000 <mauke> that sounds like Haskell 1.3 or something
2026-04-06 19:15:53 +0000AlexNoo(~AlexNoo@85.174.183.185)
2026-04-06 19:15:46 +0000 <c_wraith> yes, that predates Monad being part of the standard library
2026-04-06 19:15:31 +0000 <int-e> Wasn't there a [Reply] -> [Request] model at some point
2026-04-06 19:15:30 +0000 <monochrom> Right, good for about 0th approximation only.
2026-04-06 19:15:15 +0000 <mauke> why did 10 lines of activity just pop up at once? how laggy is this connection? :-)