Newest at the top
| 2025-12-17 00:22:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 00:21:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-17 00:19:34 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-17 00:19:13 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds) |
| 2025-12-17 00:19:09 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-17 00:17:56 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-17 00:17:47 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 00:16:07 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-17 00:11:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-17 00:07:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-17 00:06:46 +0100 | gf31 | (~gf3@user/gf3) gf3 |
| 2025-12-17 00:06:15 +0100 | gf32 | (~gf3@user/gf3) (Ping timeout: 240 seconds) |
| 2025-12-17 00:00:48 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-12-16 23:59:46 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-16 23:56:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-16 23:51:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 23:51:38 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-12-16 23:50:09 +0100 | mange | (~mange@user/mange) mange |
| 2025-12-16 23:41:56 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-16 23:40:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-16 23:36:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 23:35:29 +0100 | trickard_ | trickard |
| 2025-12-16 23:25:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-16 23:24:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-16 23:21:25 +0100 | <monochrom> | (And then later I find myself needing foldM so the plan is foiled.) |
| 2025-12-16 23:21:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 23:20:56 +0100 | <monochrom> | Alternatively (pun!), I optimize for fewer import lines! So I use (<*>) to spare importing Control.Monad. :) |
| 2025-12-16 23:19:34 +0100 | <monochrom> | OK, "instance Applicative MyMonad where pure = (... this I will code up directly ...); liftA2 = liftM2; (<*>) = ap" |
| 2025-12-16 23:18:26 +0100 | <monochrom> | Oops heh. |
| 2025-12-16 23:18:12 +0100 | <geekosaur> | isn't the lazy version `deriving Functor`? |
| 2025-12-16 23:12:36 +0100 | <monochrom> | Although, when teaching, I show coding up fmap for MyMonad directly because it is more basic and a good preparation. |
| 2025-12-16 23:09:26 +0100 | <monochrom> | I write "instance Functor MyMonad where fmap = liftM" when I'm lazy. :) |
| 2025-12-16 23:09:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-16 23:07:15 +0100 | <monochrom> | :) |
| 2025-12-16 23:06:44 +0100 | <haskellbridge> | <lucabtz> this is similar to the discussion there was between pure and return. when I have a monad should I use liftM or fmap. similarly liftM2 or liftA2. I would use the M versions but using the other two could make the code more general in case at some point you may realize you can relax the monad to an Applicative |
| 2025-12-16 23:05:39 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-12-16 23:04:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 23:01:44 +0100 | ljdarj1 | ljdarj |
| 2025-12-16 23:01:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-16 23:00:15 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-12-16 22:59:47 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-16 22:58:04 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-12-16 22:53:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 22:53:01 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 255 seconds) |
| 2025-12-16 22:49:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 22:49:10 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-16 22:48:54 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2025-12-16 22:41:42 +0100 | arkeet | (~arkeet@moriya.ca) |
| 2025-12-16 22:38:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 22:33:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |