2025/02/24

Newest at the top

2025-02-24 09:12:32 +0100ash3en(~Thunderbi@89.246.174.164) (Client Quit)
2025-02-24 09:10:43 +0100ash3en(~Thunderbi@89.246.174.164) ash3en
2025-02-24 09:02:33 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-02-24 09:01:40 +0100caconym(~caconym@user/caconym) caconym
2025-02-24 09:00:39 +0100mulk(~mulk@p5b112753.dip0.t-ipconnect.de) mulk
2025-02-24 09:00:02 +0100caconym(~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 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-02-24 08:47:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-24 08:46:09 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-02-24 08:43:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-24 08:37:43 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-02-24 08:33:49 +0100alfiee(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-24 08:29:15 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-24 08:25:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-24 08:19:57 +0100ski(~ski@remote11.chalmers.se) ski
2025-02-24 08:14:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-24 08:13:12 +0100CiaoSen(~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen
2025-02-24 08:09:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-24 08:03:55 +0100Ranhir(~Ranhir@157.97.53.139) Ranhir
2025-02-24 07:59:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-24 07:57:57 +0100Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2025-02-24 07:54:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-24 07:48:17 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-24 07:46:29 +0100alp(~alp@2001:861:8ca0:4940:5005:690c:e28e:7765)
2025-02-24 07:44:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-24 07:43:52 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-24 07:43:34 +0100saolsen(sid26430@id-26430.lymington.irccloud.com) saolsen
2025-02-24 07:40:21 +0100saolsen(sid26430@id-26430.lymington.irccloud.com) (Ping timeout: 248 seconds)
2025-02-24 07:39:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-24 07:34:14 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-02-24 07:30:40 +0100mulk(~mulk@p5b2dc995.dip0.t-ipconnect.de) (Remote host closed the connection)
2025-02-24 07:28:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-24 07:23:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-24 07:18:35 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-02-24 07:12:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-02-24 07:07:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-24 07:02:49 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-24 06:58:28 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-24 06:56:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-24 06:52:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-24 06:47:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-24 06:41:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-24 06:31:33 +0100random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 248 seconds)