Newest at the top
| 2025-02-24 09:17:55 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-24 09:17:32 +0100 | <Leary> | energizer: There's a redundant `concatMap` in the `undo` output above, but either GHC's actual desugaring is better or optimisation tidies it up; the core amounts to: `xs >>= f = go xs where go = \case{ [] -> []; y:ys -> f y ++ go ys }`. |
| 2025-02-24 09:14:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 09:12:32 +0100 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
| 2025-02-24 09:10:43 +0100 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2025-02-24 09:02:33 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-24 09:01:40 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-24 09:00:39 +0100 | mulk | (~mulk@p5b112753.dip0.t-ipconnect.de) mulk |
| 2025-02-24 09:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-24 08:56:16 +0100 | <lambdabot> | xs >>= f = concatMap (\ x -> concatMap (\ y -> [y]) (f x)) xs |
| 2025-02-24 08:56:16 +0100 | <Leary> | @undo xs >>= f = [y | x <- xs, y <- f x] |
| 2025-02-24 08:54:21 +0100 | <energizer> | kaol: what does "xs >>= f = [y | x <- xs, y <- f x]" desugar to? |
| 2025-02-24 08:53:39 +0100 | <kaol> | In as much as regular lists in Haskell use the [] notation. If you had some other List in mind then I don't know. |
| 2025-02-24 08:52:24 +0100 | <kaol> | energizer: https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.Base.html#line-1751 |
| 2025-02-24 08:51:02 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-02-24 08:47:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-24 08:46:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-24 08:43:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-24 08:37:43 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-24 08:33:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-24 08:33:28 +0100 | <energizer> | where can i find the implementation of `instance Monad List` ? |
| 2025-02-24 08:32:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-24 08:29:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 08:25:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-24 08:19:57 +0100 | ski | (~ski@remote11.chalmers.se) ski |
| 2025-02-24 08:14:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-24 08:13:12 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen |
| 2025-02-24 08:09:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-24 08:03:55 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-02-24 07:59:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-24 07:57:57 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2025-02-24 07:54:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-24 07:48:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-24 07:46:29 +0100 | alp | (~alp@2001:861:8ca0:4940:5005:690c:e28e:7765) |
| 2025-02-24 07:44:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-24 07:43:52 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 07:43:34 +0100 | saolsen | (sid26430@id-26430.lymington.irccloud.com) saolsen |
| 2025-02-24 07:40:21 +0100 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-02-24 07:39:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-24 07:34:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-24 07:30:40 +0100 | mulk | (~mulk@p5b2dc995.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-02-24 07:28:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-24 07:23:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-24 07:18:35 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-24 07:12:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-24 07:07:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-24 07:02:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-24 06:58:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 06:56:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-24 06:52:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |