Newest at the top
| 2025-02-07 09:01:49 +0100 | <mauke> | it's just where the dummy argument gets inserted |
| 2025-02-07 09:01:44 +0100 | chele | (~chele@user/chele) chele |
| 2025-02-07 09:01:37 +0100 | <mauke> | I don't see it as swapping, really |
| 2025-02-07 09:01:18 +0100 | <mauke> | and const . f :: a -> x -> b |
| 2025-02-07 09:01:07 +0100 | <mauke> | if f :: a -> b, then const f :: x -> a -> b |
| 2025-02-07 09:00:59 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-07 09:00:47 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-07 09:00:02 +0100 | caconym | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-07 08:55:40 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-02-07 08:54:47 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-02-07 08:50:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-07 08:49:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-07 08:45:04 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-07 08:40:35 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-07 08:39:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-07 08:36:36 +0100 | akegalj | (~akegalj@89-172-213-142.adsl.net.t-com.hr) akegalj |
| 2025-02-07 08:34:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-02-07 08:33:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-07 08:29:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-07 08:27:28 +0100 | tnt2 | tnt1 |
| 2025-02-07 08:27:27 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-07 08:26:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-07 08:25:22 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-07 08:22:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-07 08:20:22 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-07 08:20:06 +0100 | tnt2 | tnt1 |
| 2025-02-07 08:20:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-07 08:18:40 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-07 08:17:56 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-07 08:17:09 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-07 08:16:58 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-07 08:14:56 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-07 08:13:07 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-07 08:12:12 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-07 08:11:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-07 08:11:05 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-07 08:08:17 +0100 | tnt2 | tnt1 |
| 2025-02-07 08:08:17 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-07 08:07:31 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-07 08:06:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-07 08:03:42 +0100 | tnt2 | tnt1 |
| 2025-02-07 08:03:42 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-07 08:03:34 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-07 08:01:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-07 08:00:23 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-07 07:59:12 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-07 07:59:08 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-07 07:57:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |