2025/02/07

Newest at the top

2025-02-07 09:01:07 +0100 <mauke> if f :: a -> b, then const f :: x -> a -> b
2025-02-07 09:00:59 +0100caconym(~caconym@user/caconym) caconym
2025-02-07 09:00:47 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-02-07 09:00:02 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-02-07 08:58:34 +0100 <kqr> I understand on an intellectual level why `const Just :: a -> b -> Maybe b` whereas `const . Just :: a -> b -> Maybe a` but I'd like to have some intuition for why inserting a composition operator sort of swaps the arguments. It feels like there's something happening there that is more fundamental.
2025-02-07 08:56:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-07 08:55:40 +0100Googulator(~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-02-07 08:54:47 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-02-07 08:50:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-07 08:49:24 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-07 08:45:04 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-07 08:40:35 +0100tabaqui1(~root@87.200.129.102) tabaqui
2025-02-07 08:39:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-07 08:36:36 +0100akegalj(~akegalj@89-172-213-142.adsl.net.t-com.hr) akegalj
2025-02-07 08:34:23 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-02-07 08:33:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-07 08:29:59 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-02-07 08:27:28 +0100tnt2tnt1
2025-02-07 08:27:27 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 268 seconds)
2025-02-07 08:26:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-07 08:25:22 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-07 08:22:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-07 08:20:22 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-02-07 08:20:06 +0100tnt2tnt1
2025-02-07 08:20:03 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 268 seconds)
2025-02-07 08:18:40 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-07 08:17:56 +0100ft(~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving)
2025-02-07 08:17:09 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-02-07 08:16:58 +0100tnt2(~Thunderbi@user/tnt1) (Ping timeout: 268 seconds)
2025-02-07 08:14:56 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-02-07 08:13:07 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
2025-02-07 08:12:12 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-07 08:11:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-07 08:11:05 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-02-07 08:08:17 +0100tnt2tnt1
2025-02-07 08:08:17 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
2025-02-07 08:07:31 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-07 08:06:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-07 08:03:42 +0100tnt2tnt1
2025-02-07 08:03:42 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-02-07 08:03:34 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-07 08:01:36 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-07 08:00:23 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-02-07 07:59:12 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-02-07 07:59:08 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-02-07 07:57:20 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-07 07:56:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-02-07 07:55:52 +0100euleritian(~euleritia@dynamic-176-006-138-232.176.6.pool.telefonica.de)
2025-02-07 07:55:23 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2025-02-07 07:55:06 +0100acidjnk_new3(~acidjnk@p200300d6e7283f97bc6d2d03cd52feea.dip0.t-ipconnect.de) acidjnk