Newest at the top
2025-04-27 00:42:57 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
2025-04-27 00:42:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-27 00:42:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-27 00:41:15 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-04-27 00:34:34 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-04-27 00:31:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-27 00:23:19 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds) |
2025-04-27 00:22:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-27 00:21:22 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-27 00:18:12 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-04-27 00:14:43 +0200 | ljdarj1 | ljdarj |
2025-04-27 00:14:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-04-27 00:11:38 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-27 00:08:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-27 00:06:19 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-04-27 00:04:30 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
2025-04-26 23:55:20 +0200 | <EvanR> | so it's the mother of all monads as well as the mother of all classical proofs xD |
2025-04-26 23:47:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-26 23:35:42 +0200 | <geekosaur> | newer snapshots redirect to another site that's not there |
2025-04-26 23:35:19 +0200 | <geekosaur> | https://web.archive.org/web/20100520080436/http://sneezy.cs.nott.ac.uk/fplunch/weblog/?m=200712 |
2025-04-26 23:32:55 +0200 | <EvanR> | Where in [the] hell is carmen san diego lol |
2025-04-26 23:32:18 +0200 | <EvanR> | the original post sigfpe cites is... not there :( |
2025-04-26 23:31:42 +0200 | <monochrom> | s/too/to/ |
2025-04-26 23:31:39 +0200 | <monochrom> | or at least rumoured too |
2025-04-26 23:31:36 +0200 | <geekosaur> | you can do lots of things with Cont but that way lies madness |
2025-04-26 23:31:25 +0200 | <monochrom> | Did you know that the Doom franchise and the Carmen San Diego franchise once tried to collaborate and make a Where in Hell is Carmen San Diego? >:) |
2025-04-26 23:30:49 +0200 | <EvanR> | instead of going into Cont |
2025-04-26 23:30:47 +0200 | <geekosaur> | .andthen() |
2025-04-26 23:30:33 +0200 | <EvanR> | not that terrible xD |
2025-04-26 23:30:25 +0200 | <EvanR> | clearly you could define >>= and use \x -> ... |
2025-04-26 23:30:10 +0200 | <EvanR> | suppose someone (obviously, carmen san diego) stole all the monads and do notation |
2025-04-26 23:27:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-26 23:26:15 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-04-26 23:25:09 +0200 | abrar | (~abrar@static-96-245-187-163.phlapa.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-04-26 23:24:49 +0200 | <monochrom> | yeah sigfpe |
2025-04-26 23:24:38 +0200 | <monochrom> | http://blog.sigfpe.com/2008/12/mother-of-all-monads.html |
2025-04-26 23:18:55 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-04-26 23:18:07 +0200 | <geekosaur> | someone (I think sigfpe?) claimed Cont was the mother of all monads |
2025-04-26 23:17:47 +0200 | <EvanR> | where did that originate |
2025-04-26 23:17:41 +0200 | <EvanR> | wasn't there a claim of "the mother of all monads" |
2025-04-26 23:10:08 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-26 23:09:50 +0200 | euleritian | (~euleritia@dynamic-176-006-131-107.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-26 23:09:15 +0200 | <monochrom> | I know the one true trick of rationalizing claims of "one true X": Dismiss any problem/scenerio outside the scope of X. |
2025-04-26 23:07:54 +0200 | euleritian | (~euleritia@dynamic-176-006-131-107.176.6.pool.telefonica.de) |
2025-04-26 23:03:35 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2025-04-26 23:01:41 +0200 | JuanDaugherty | ColinRobinson |
2025-04-26 23:01:14 +0200 | <monochrom> | Have you also considered that certain parsers are not even monads, just alternatives, so there is no way either any family of monads or any family of algebraic effects can be the one true architectural pattern? |
2025-04-26 23:01:07 +0200 | <haskellbridge> | <Liamzee> otherwise i'd have already gone to exceptT and called it a day |
2025-04-26 23:00:51 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds) |
2025-04-26 23:00:46 +0200 | <haskellbridge> | <Liamzee> i wouldn't know, all i know is that i hate mtl |