Newest at the top
| 2026-04-06 19:40:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 19:39:34 +0000 | AlexNoo__ | (~AlexNoo@85.174.183.185) |
| 2026-04-06 19:38:50 +0000 | AlexNoo_ | (~AlexNoo@85.174.183.185) |
| 2026-04-06 19:38:26 +0000 | AlexNoo__ | (~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds) |
| 2026-04-06 19:38:06 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-06 19:37:54 +0000 | AlexNoo_ | (~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds) |
| 2026-04-06 19:37:13 +0000 | AlexNoo | (~AlexNoo@85.174.183.185) |
| 2026-04-06 19:36:18 +0000 | AlexNoo | (~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds) |
| 2026-04-06 19:34:28 +0000 | monochrom | proposes 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 +0000 | AlexNoo__ | (~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 +0000 | AlexNoo__ | (~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds) |
| 2026-04-06 19:33:30 +0000 | AlexNoo_ | (~AlexNoo@85.174.183.185) |
| 2026-04-06 19:32:34 +0000 | AlexNoo_ | (~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds) |
| 2026-04-06 19:31:53 +0000 | AlexNoo | (~AlexNoo@85.174.183.185) |
| 2026-04-06 19:30:58 +0000 | AlexNoo | (~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds) |
| 2026-04-06 19:29:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-06 19:28:58 +0000 | AlexNoo__ | (~AlexNoo@85.174.183.185) |
| 2026-04-06 19:28:50 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-06 19:28:10 +0000 | AlexNoo_ | (~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 +0000 | AlexNoo__ | (~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds) |
| 2026-04-06 19:27:14 +0000 | AlexNoo_ | (~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds) |
| 2026-04-06 19:26:33 +0000 | AlexNoo | (~AlexNoo@85.174.183.185) |
| 2026-04-06 19:25:38 +0000 | AlexNoo | (~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds) |
| 2026-04-06 19:23:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 19:23:34 +0000 | AlexNoo__ | (~AlexNoo@85.174.183.185) |
| 2026-04-06 19:23:16 +0000 | preflex | (~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 +0000 | AlexNoo_ | (~AlexNoo@85.174.183.185) |
| 2026-04-06 19:22:39 +0000 | preflex | (~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 +0000 | AlexNoo__ | (~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 +0000 | AlexNoo_ | (~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 +0000 | AlexNoo | (~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 +0000 | AlexNoo | (~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 +0000 | AlexNoo__ | (~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 +0000 | AlexNoo_ | (~AlexNoo@85.174.183.185) |
| 2026-04-06 19:17:18 +0000 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2026-04-06 19:17:06 +0000 | AlexNoo__ | (~AlexNoo@85.174.183.185) (Ping timeout: 248 seconds) |