Logs: liberachat/#haskell
| 2025-12-16 21:38:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 21:41:42 | → | arkeet joins (~arkeet@moriya.ca) |
| 2025-12-16 21:48:54 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 2025-12-16 21:49:10 | → | Square2 joins (~Square@user/square) |
| 2025-12-16 21:49:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-16 21:53:01 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 255 seconds) |
| 2025-12-16 21:53:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 21:58:04 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 2025-12-16 21:59:47 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-16 22:00:15 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-12-16 22:01:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-16 22:01:44 | ljdarj1 | is now known as ljdarj |
| 2025-12-16 22:04:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-16 22:05:39 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2025-12-16 22:06:44 | <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 22:07:15 | <monochrom> | :) |
| 2025-12-16 22:09:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-16 22:09:26 | <monochrom> | I write "instance Functor MyMonad where fmap = liftM" when I'm lazy. :) |
| 2025-12-16 22:12:36 | <monochrom> | Although, when teaching, I show coding up fmap for MyMonad directly because it is more basic and a good preparation. |
| 2025-12-16 22:18:12 | <geekosaur> | isn't the lazy version `deriving Functor`? |
| 2025-12-16 22:18:26 | <monochrom> | Oops heh. |
| 2025-12-16 22:19:34 | <monochrom> | OK, "instance Applicative MyMonad where pure = (... this I will code up directly ...); liftA2 = liftM2; (<*>) = ap" |
| 2025-12-16 22:20:56 | <monochrom> | Alternatively (pun!), I optimize for fewer import lines! So I use (<*>) to spare importing Control.Monad. :) |
| 2025-12-16 22:21:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-16 22:21:25 | <monochrom> | (And then later I find myself needing foldM so the plan is foiled.) |
| 2025-12-16 22:24:07 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-16 22:25:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-16 22:35:29 | trickard_ | is now known as trickard |
| 2025-12-16 22:36:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-16 22:40:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-16 22:41:56 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-16 22:50:09 | → | mange joins (~mange@user/mange) |
| 2025-12-16 22:51:38 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-12-16 22:51:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-16 22:56:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-16 22:59:46 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 2025-12-16 23:00:48 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-12-16 23:06:15 | × | gf32 quits (~gf3@user/gf3) (Ping timeout: 240 seconds) |
| 2025-12-16 23:06:46 | → | gf31 joins (~gf3@user/gf3) |
| 2025-12-16 23:07:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-16 23:11:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-16 23:16:07 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-16 23:17:47 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-16 23:17:56 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-12-16 23:19:09 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-16 23:19:13 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds) |
| 2025-12-16 23:19:34 | → | spew joins (~spew@user/spew) |
| 2025-12-16 23:21:01 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-16 23:22:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-16 23:27:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 23:30:11 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-16 23:30:13 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-12-16 23:32:17 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-16 23:38:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-16 23:43:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-16 23:51:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-16 23:52:01 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-16 23:52:21 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-16 23:52:58 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-16 23:53:17 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-16 23:55:20 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-16 23:55:38 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-16 23:56:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 00:03:17 | <haskellbridge> | <Zemyla> I often write liftA2 and <*> instances directly. |
| 2025-12-17 00:06:43 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-17 00:07:01 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-17 00:07:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-17 00:08:29 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 00:08:48 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-17 00:12:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-17 00:12:55 | gf31 | is now known as gf3 |
| 2025-12-17 00:13:40 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 00:13:41 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-17 00:13:58 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-17 00:17:57 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 00:20:13 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-17 00:22:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-17 00:23:15 | × | gf3 quits (~gf3@user/gf3) (Ping timeout: 240 seconds) |
| 2025-12-17 00:24:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-17 00:28:29 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-17 00:28:48 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-17 00:28:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-17 00:31:35 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 00:31:53 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-17 00:40:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-17 00:42:34 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-17 00:42:59 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-17 00:44:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-17 00:45:42 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 00:46:03 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-17 00:49:12 | × | xff0x quits (~xff0x@2405:6580:b080:900:4560:111e:4edd:d178) (Ping timeout: 244 seconds) |
| 2025-12-17 00:49:30 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:b9e3:8489:f7c6:5ea4) |
| 2025-12-17 00:50:00 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-17 00:52:32 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-17 00:52:51 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-17 00:53:57 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-12-17 00:54:13 | × | acidjnk quits (~acidjnk@p200300d6e71719974d985e7e473d8889.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-12-17 00:54:14 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:b9e3:8489:f7c6:5ea4) (Ping timeout: 260 seconds) |
| 2025-12-17 00:54:16 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-17 00:55:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.