Newest at the top
| 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 |
| 2025-12-16 22:31:23 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-12-16 22:30:21 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-12-16 22:28:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 22:24:18 +0100 | myxokephale | (~myxos@2001:579:8380:f20:f2c2:4b00:b76e:8530) (Ping timeout: 252 seconds) |
| 2025-12-16 22:22:50 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-16 22:22:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 22:21:25 +0100 | myxos | (~myxos@2001:579:8380:f20:b869:f32d:617d:ee68) myxokephale |
| 2025-12-16 22:16:55 +0100 | ljdarj1 | ljdarj |
| 2025-12-16 22:15:50 +0100 | Googulator38 | (~Googulato@87-97-86-146.pool.digikabel.hu) |
| 2025-12-16 22:15:48 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 22:14:37 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-16 22:14:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-16 22:13:44 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-16 22:12:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 22:07:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 21:56:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-16 21:52:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 21:45:50 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |