| 2025-08-11 00:05:11 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-08-11 00:12:39 +0200 | tccq | (~user@user/tccq) (Ping timeout: 260 seconds) |
| 2025-08-11 00:13:27 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-11 00:13:43 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2025-08-11 00:15:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 00:16:16 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-11 00:18:52 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2025-08-11 00:31:07 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-08-11 00:31:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 00:35:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-11 00:41:08 +0200 | phma | (~phma@host-67-44-208-62.hnremote.net) (Read error: Connection reset by peer) |
| 2025-08-11 00:42:34 +0200 | phma | (phma@2001:5b0:211f:1178:2435:fbec:74b:5e85) |
| 2025-08-11 00:45:36 +0200 | ChanServ | +o geekosaur |
| 2025-08-11 00:48:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 00:52:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 00:52:58 +0200 | ChanServ | (ChanServ@services.libera.chat) (shutting down) |
| 2025-08-11 00:53:25 +0200 | litharge | (litharge@libera/bot/litharge) (*.net *.split) |
| 2025-08-11 00:54:58 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 240 seconds) |
| 2025-08-11 00:57:18 +0200 | sprotte24 | (~sprotte24@p200300d16f142d00c51a7515b8ba4f49.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-08-11 00:59:17 +0200 | litharge | (litharge@libera/bot/litharge) litharge |
| 2025-08-11 00:59:38 +0200 | ChanServ | (ChanServ@services.libera.chat) |
| 2025-08-11 00:59:38 +0200 | lithium.libera.chat | +o ChanServ |
| 2025-08-11 01:03:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 01:05:25 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2025-08-11 01:07:38 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-08-11 01:07:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 01:08:30 +0200 | acidjnk | (~acidjnk@p200300d6e7171940315d25be4b9f34a0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-08-11 01:18:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 01:21:40 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 01:23:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 01:24:26 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-11 01:30:12 +0200 | <geekosaur> | I assume that means they're done |
| 2025-08-11 01:30:16 +0200 | geekosaur | -o geekosaur |
| 2025-08-11 01:34:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 01:39:01 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2025-08-11 01:41:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 01:46:42 +0200 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-08-11 01:47:00 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-08-11 01:49:43 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2025-08-11 01:52:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 01:55:14 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-08-11 01:56:34 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-08-11 01:57:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 02:07:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 02:12:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 02:14:03 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-11 02:16:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-08-11 02:17:58 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-08-11 02:20:35 +0200 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
| 2025-08-11 02:20:55 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-08-11 02:23:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 02:27:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 02:38:33 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) (Server closed connection) |
| 2025-08-11 02:38:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 02:38:44 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) dsal |
| 2025-08-11 02:40:54 +0200 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-08-11 02:43:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-11 02:46:28 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
| 2025-08-11 02:47:33 +0200 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) (Server closed connection) |
| 2025-08-11 02:47:42 +0200 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2025-08-11 02:53:34 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 252 seconds) |
| 2025-08-11 02:53:34 +0200 | hololeap | (~quassel@user/hololeap) (Ping timeout: 252 seconds) |
| 2025-08-11 02:53:34 +0200 | carbolymer | (~carbolyme@dropacid.net) (Ping timeout: 252 seconds) |
| 2025-08-11 02:54:00 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-08-11 02:54:00 +0200 | carbolymer | (~carbolyme@dropacid.net) carbolymer |
| 2025-08-11 02:54:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 02:54:40 +0200 | hololeap | (~quassel@user/hololeap) hololeap |
| 2025-08-11 02:55:22 +0200 | trickard_ | trickard |
| 2025-08-11 02:58:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 03:00:13 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Server closed connection) |
| 2025-08-11 03:00:24 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) S11001001 |
| 2025-08-11 03:01:13 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (Server closed connection) |
| 2025-08-11 03:01:27 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) lexi-lambda |
| 2025-08-11 03:04:15 +0200 | <albet70> | hi |
| 2025-08-11 03:05:19 +0200 | <albet70> | addCPS a b k1; this k1's continuation k2 is not passing by parameter? k2 is written in k1's body? |
| 2025-08-11 03:07:32 +0200 | euouae | (~euouae@user/euouae) euouae |
| 2025-08-11 03:07:50 +0200 | <euouae> | When I want to document the lines where I'm being too clever, how should I place the comments? With -- ? |
| 2025-08-11 03:09:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 03:15:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-11 03:19:36 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 03:19:50 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-11 03:25:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 03:28:21 +0200 | <geekosaur> | euouae, I usually put it before with -- |
| 2025-08-11 03:29:58 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-08-11 03:32:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 03:40:46 +0200 | <euouae> | sounds good, thank you |
| 2025-08-11 03:43:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 03:43:49 +0200 | ynzoqn | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 03:48:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-11 03:49:24 +0200 | ynzoqn52 | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 03:49:38 +0200 | ynzoqn52 | (~ynzoqn@user/ynzoqn) (Client Quit) |
| 2025-08-11 03:49:52 +0200 | ynzoqn20 | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 03:50:18 +0200 | ynzoqn20 | (~ynzoqn@user/ynzoqn) (Client Quit) |
| 2025-08-11 03:50:56 +0200 | ynzoqn85 | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 03:51:24 +0200 | ynzoqn | (~ynzoqn@user/ynzoqn) (Ping timeout: 252 seconds) |
| 2025-08-11 03:51:32 +0200 | ynzoqn85 | ynzoqn |
| 2025-08-11 03:52:13 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2025-08-11 03:52:25 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2025-08-11 03:58:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 03:59:33 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-08-11 04:03:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-11 04:14:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 04:18:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 04:20:15 +0200 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-08-11 04:20:31 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-08-11 04:29:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 04:29:37 +0200 | jle` | (~jle`@2603:8001:3b00:11:298e:9dca:f965:ba97) (Quit: WeeChat 4.7.0) |
| 2025-08-11 04:34:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-11 04:39:39 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 260 seconds) |
| 2025-08-11 04:41:58 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-11 04:42:58 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 2025-08-11 04:43:39 +0200 | jle` | (~jle`@2603:8001:3b00:11:45b2:bb8:953d:fe48) jle` |
| 2025-08-11 04:45:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 04:46:17 +0200 | <ski> | albet70 : what's the code re that ? |
| 2025-08-11 04:46:48 +0200 | <ski> | before, or at the end of the line (if short), euouae |
| 2025-08-11 04:46:52 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 244 seconds) |
| 2025-08-11 04:47:21 +0200 | <ski> | you should also put longer implementation-related comments, at the top of a definition, perhaps between the signature and the defining clauses |
| 2025-08-11 04:49:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 04:49:37 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-11 04:50:29 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 248 seconds) |
| 2025-08-11 04:51:18 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-08-11 04:55:52 +0200 | <euouae> | ski: Oh is that how you do it? between signature and defining clausE? |
| 2025-08-11 04:56:04 +0200 | <euouae> | Because that's what I was asking about in particular, a longer implementation-related comment |
| 2025-08-11 04:59:47 +0200 | astra | amish |
| 2025-08-11 04:59:55 +0200 | amish | (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 2025-08-11 04:59:55 +0200 | amish | (sid289983@user/amish) amish |
| 2025-08-11 05:00:28 +0200 | amish | astra |
| 2025-08-11 05:00:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 05:05:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-11 05:06:09 +0200 | trickard_ | trickard |
| 2025-08-11 05:06:20 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-08-11 05:09:23 +0200 | <albet70> | ski , no code, I just wonder how the continuation's continuation would be |
| 2025-08-11 05:10:51 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 276 seconds) |
| 2025-08-11 05:11:36 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-11 05:14:42 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-11 05:15:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 05:19:48 +0200 | aforemny | (~aforemny@2001:9e8:6ccc:7e00:183f:1609:c28b:f90f) aforemny |
| 2025-08-11 05:20:34 +0200 | aforemny_ | (~aforemny@2001:9e8:6cef:6600:d9cb:2d88:358a:90e6) (Ping timeout: 272 seconds) |
| 2025-08-11 05:22:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-11 05:23:03 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-08-11 05:27:51 +0200 | <monochrom> | Are you just asking to see this? addCPS a b k1 = k1 (a + b) |
| 2025-08-11 05:34:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 05:35:08 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 05:35:21 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-11 05:38:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-11 05:43:36 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-08-11 05:44:10 +0200 | phma | (phma@2001:5b0:211f:1178:2435:fbec:74b:5e85) (Read error: Connection reset by peer) |
| 2025-08-11 05:46:44 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Ping timeout: 260 seconds) |
| 2025-08-11 05:47:10 +0200 | forell | (~forell@user/forell) (Ping timeout: 272 seconds) |
| 2025-08-11 05:47:55 +0200 | forell | (~forell@user/forell) forell |
| 2025-08-11 05:49:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 05:55:44 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-11 05:56:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 05:57:56 +0200 | jespada | (~jespada@2800:a4:2279:7200:9904:1f1e:69bd:aecf) (Ping timeout: 272 seconds) |
| 2025-08-11 06:00:50 +0200 | jespada | (~jespada@2800:a4:2219:9800:a55e:3e41:816a:f6ed) jespada |
| 2025-08-11 06:03:50 +0200 | <ski> | albet70 : typically, there would be none. you can iterate the CPS transform, though. i know of two (?) papers which talks about that, if you're curious |
| 2025-08-11 06:04:21 +0200 | <ski> | btw, with two levels of continuations, this is closely related to backtracking, in logic programming |
| 2025-08-11 06:04:42 +0200 | <ski> | it's also related to the Church encoding of lists, and of natural numbers |
| 2025-08-11 06:05:08 +0200 | <ski> | @unmtl ContT o m a |
| 2025-08-11 06:05:08 +0200 | <lambdabot> | (a -> m o) -> m o |
| 2025-08-11 06:05:19 +0200 | <ski> | @unmtl ContT o (ContT p m) a |
| 2025-08-11 06:05:19 +0200 | <lambdabot> | (a -> (o -> m p) -> m p) -> (o -> m p) -> m p |
| 2025-08-11 06:05:33 +0200 | <ski> | the second there is two levels of continuations |
| 2025-08-11 06:05:46 +0200 | phma | (phma@2001:5b0:211f:4d98:87b1:5b61:8c35:99f8) |
| 2025-08-11 06:06:01 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Server closed connection) |
| 2025-08-11 06:06:23 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-08-11 06:06:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 06:06:53 +0200 | <ski> | if you take |
| 2025-08-11 06:06:57 +0200 | <ski> | @unmtl ContT () (ContT p (ContT q m)) a |
| 2025-08-11 06:06:57 +0200 | <lambdabot> | (a -> (() -> (p -> m q) -> m q) -> (p -> m q) -> m q) -> (() -> (p -> m q) -> m q) -> (p -> m q) -> m q |
| 2025-08-11 06:07:03 +0200 | <ski> | er, no |
| 2025-08-11 06:07:10 +0200 | <ski> | @unmtl ContT () (ContT p m) a |
| 2025-08-11 06:07:10 +0200 | <lambdabot> | (a -> (() -> m p) -> m p) -> (() -> m p) -> m p |
| 2025-08-11 06:07:40 +0200 | phma | (phma@2001:5b0:211f:4d98:87b1:5b61:8c35:99f8) (Read error: Connection reset by peer) |
| 2025-08-11 06:07:57 +0200 | <ski> | this one. the `m p's are, if you investigae the corresponding CPS transform, passed around like a state (as in `StateT (m p)') |
| 2025-08-11 06:08:42 +0200 | <ski> | @unmtl ContT () (State (m p)) a |
| 2025-08-11 06:08:42 +0200 | <lambdabot> | (a -> m p -> ((), m p)) -> m p -> ((), m p) |
| 2025-08-11 06:09:20 +0200 | phma | (~phma@host-67-44-208-4.hnremote.net) |
| 2025-08-11 06:09:47 +0200 | <ski> | this observation can be used as an implementation strategy for composable/delimited/sub- continuations, by using a mutable state to keep track of the inner-level continuation |
| 2025-08-11 06:10:16 +0200 | <ski> | (instead of threading around state versions) |
| 2025-08-11 06:11:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 06:12:21 +0200 | duckworld | (~duckworld@user/duckworld) (Server closed connection) |
| 2025-08-11 06:12:36 +0200 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2025-08-11 06:13:20 +0200 | Axman6 | (~Axman6@user/axman6) (Server closed connection) |
| 2025-08-11 06:21:00 +0200 | ynzoqn | (~ynzoqn@user/ynzoqn) (Ping timeout: 252 seconds) |
| 2025-08-11 06:21:48 +0200 | trickard_ | trickard |
| 2025-08-11 06:22:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 06:23:00 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-08-11 06:26:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-11 06:28:25 +0200 | ynzoqn | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 06:31:44 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-11 06:37:04 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2025-08-11 06:37:29 +0200 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 240 seconds) |
| 2025-08-11 06:37:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 06:38:44 +0200 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) distopico |
| 2025-08-11 06:38:52 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-08-11 06:38:52 +0200 | ChanServ | +v lambdabot |
| 2025-08-11 06:41:18 +0200 | phma | (~phma@host-67-44-208-4.hnremote.net) (Read error: Connection reset by peer) |
| 2025-08-11 06:41:42 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 252 seconds) |
| 2025-08-11 06:42:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 06:45:58 +0200 | phma | (phma@2001:5b0:211f:e8b8:5c88:56cb:7320:3f0c) |
| 2025-08-11 06:50:24 +0200 | JamesMowery1773 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-08-11 06:51:51 +0200 | JamesMowery17736 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-08-11 06:53:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 06:59:42 +0200 | <albet70> | monochrom , yes, what k's continuation would be like |
| 2025-08-11 07:00:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 07:02:50 +0200 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-08-11 07:06:22 +0200 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 255 seconds) |
| 2025-08-11 07:06:22 +0200 | polykernel_ | polykernel |
| 2025-08-11 07:11:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 07:15:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 07:16:07 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-08-11 07:16:13 +0200 | mange | (~mange@user/mange) mange |
| 2025-08-11 07:17:35 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-08-11 07:19:28 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-08-11 07:22:01 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-11 07:22:23 +0200 | ynzoqn | (~ynzoqn@user/ynzoqn) (Quit: Client closed) |
| 2025-08-11 07:22:40 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-11 07:22:41 +0200 | ynzoqn | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 07:26:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 07:26:53 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-08-11 07:29:26 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-08-11 07:30:04 +0200 | euouae | (~euouae@user/euouae) (Remote host closed the connection) |
| 2025-08-11 07:30:09 +0200 | ubert | (~Thunderbi@178.165.170.207.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2025-08-11 07:31:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 07:35:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-11 07:37:51 +0200 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-08-11 07:38:26 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-08-11 07:41:38 +0200 | <ski> | [| \(a,b) -> a + b |]_v = \((a,b),c) -> c (a + b) |
| 2025-08-11 07:41:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 07:41:59 +0200 | <ski> | [| \((a,b),c) -> c (a + b) |]_v = \(((a,b),c),k) -> c (a + b,k) |
| 2025-08-11 07:42:05 +0200 | <ski> | albet70 ^ |
| 2025-08-11 07:42:16 +0200 | <ski> | there you go |
| 2025-08-11 07:42:19 +0200 | <ski> | @type \((a,b),c) -> c (a + b) |
| 2025-08-11 07:42:20 +0200 | <lambdabot> | Num t1 => ((t1, t1), t1 -> t2) -> t2 |
| 2025-08-11 07:42:29 +0200 | <ski> | @type \(((a,b),c),k) -> c (a + b,k) |
| 2025-08-11 07:42:30 +0200 | <lambdabot> | Num a => (((a, a), (a, b) -> t), b) -> t |
| 2025-08-11 07:43:04 +0200 | <ski> | or, renaming a bit, using `Integer', and currying, we get |
| 2025-08-11 07:43:20 +0200 | <ski> | Integer -> Integer -> (Integer -> o) -> o |
| 2025-08-11 07:45:43 +0200 | <ski> | Integer -> Integer -> (Integer -> po -> p) -> po -> p |
| 2025-08-11 07:46:06 +0200 | <ski> | setting `po = p -> o', for the latter one, we get |
| 2025-08-11 07:46:22 +0200 | <ski> | Integer -> Integer -> (Integer -> (p -> o) -> p) -> (p -> o) -> p |
| 2025-08-11 07:46:31 +0200 | <ski> | and these two then becomes |
| 2025-08-11 07:46:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 07:46:45 +0200 | <ski> | Integer -> Integer -> Cont o Integer |
| 2025-08-11 07:47:23 +0200 | <ski> | er, no, we should use `po = o -> p', actually .. |
| 2025-08-11 07:47:35 +0200 | <ski> | Integer -> Integer -> (Integer -> (o -> p) -> p) -> (o -> p) -> p |
| 2025-08-11 07:47:48 +0200 | <ski> | so |
| 2025-08-11 07:48:01 +0200 | <ski> | Integer -> Integer -> (Integer -> Cont p o) -> Cont p o |
| 2025-08-11 07:48:20 +0200 | <ski> | Integer -> Integer -> ContT o (Cont p) Integer |
| 2025-08-11 07:49:26 +0200 | <ski> | the former, `Integer -> Integer -> Cont o Integer', could be adapted, by replacing `o' by `m o', getting `Integer -> Integer -> ContT o m Integer' |
| 2025-08-11 07:49:48 +0200 | <ski> | similarly, the latter can be adapted to `Integer -> Integer -> ContT o (ContT p m) Integer' |
| 2025-08-11 07:50:30 +0200 | <ski> | albet70 : that helps, any ? |
| 2025-08-11 07:50:33 +0200 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-08-11 07:50:39 +0200 | trickard__ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 07:52:19 +0200 | ynzoqn | (~ynzoqn@user/ynzoqn) () |
| 2025-08-11 07:52:42 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 276 seconds) |
| 2025-08-11 07:52:42 +0200 | trickard__ | trickard |
| 2025-08-11 07:54:04 +0200 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 255 seconds) |
| 2025-08-11 07:54:04 +0200 | polykernel_ | polykernel |
| 2025-08-11 07:55:25 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 255 seconds) |
| 2025-08-11 07:56:26 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-08-11 08:00:44 +0200 | mzg | (mzg@abusers.hu) (Server closed connection) |
| 2025-08-11 08:00:51 +0200 | mzg | (mzg@abusers.hu) |
| 2025-08-11 08:07:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 08:09:58 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-08-11 08:12:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 08:19:52 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-08-11 08:23:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 08:24:29 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-08-11 08:28:10 +0200 | <dibblego> | It is my understanding of Applicative laws, that left and right should always be equal, what am I missing? https://play.haskell.org/saved/wLdeG3EL |
| 2025-08-11 08:28:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 08:29:24 +0200 | Ekho | (~Ekho@user/ekho) (Server closed connection) |
| 2025-08-11 08:30:17 +0200 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 08:31:02 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-11 08:32:46 +0200 | <ski> | albet70 : exercise, write `selectC :: (Foldable t,Monad m) => t a -> ContT () m a' (using `for_'), `selectCC :: Foldable t => t a -> ContT () (ContT o m) a' (using `foldr'), and then the corresponding "run" functions `collectCS :: ContT () (State [a]) a -> [a]' and `collectCCL :: ContT () (ContT a []) a -> [a]'. compute `collectCS (selectC [2,3,5,7])' and `collectCCL (selectCC [2,3,5,7])' |
| 2025-08-11 08:38:19 +0200 | doyougnu | (~doyougnu@38.175.72.111) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-11 08:38:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 08:39:45 +0200 | <c_wraith> | dibblego: are you basing that on the composition law? |
| 2025-08-11 08:40:03 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-11 08:40:15 +0200 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-08-11 08:40:19 +0200 | <c_wraith> | because the parens in right are different from the composition law |
| 2025-08-11 08:40:35 +0200 | doyougnu | (~doyougnu@38.175.72.111) doyougnu |
| 2025-08-11 08:40:46 +0200 | <dibblego> | c_wraith: yes, also, listed here more explicitly: https://hackage-content.haskell.org/package/semigroupoids-6.0.1/docs/Data-Functor-Apply.html#t:Apply |
| 2025-08-11 08:41:02 +0200 | <c_wraith> | You need right = (. f) <$> x <*> y |
| 2025-08-11 08:41:13 +0200 | <c_wraith> | adding parens changes the association |
| 2025-08-11 08:41:15 +0200 | <dibblego> | darnit, thank you |
| 2025-08-11 08:42:19 +0200 | <ski> | ($ 99) <$> (x <*> (f <$> y)) = ($ 99) <$> (Just (*) <*> ((+ 1) <$> Just 7)) = ($ 99) <$> (Just ((7 + 1) *))) = Just ((7 + 1) * 99) |
| 2025-08-11 08:42:22 +0200 | <ski> | ($ 99) <$> ((. f) <$> (x <*> y)) = ($ 99) <$> ((. (+ 1)) <$> (Just (*) <*> Just 7)) = ($ 99) <$> Just ((7 *) . (+ 1)) = Just (7 * (99 + 1)) |
| 2025-08-11 08:42:52 +0200 | <dibblego> | yeah, I just skipped over that, thanks |
| 2025-08-11 08:43:48 +0200 | <ski> | mm, that looks more sensible, with that association |
| 2025-08-11 08:44:38 +0200 | <c_wraith> | I didn't bother actually working out the way each calculates. I just looked at the law, noticed that the association looked off, and tested changing it. :) |
| 2025-08-11 08:45:06 +0200 | ski | didn't recognize where it was supposed to be taken from |
| 2025-08-11 08:45:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-11 08:49:53 +0200 | <c_wraith> | I looked at the laws listed in https://hackage.haskell.org/package/base-4.21.0.0/docs/Control-Applicative.html |
| 2025-08-11 08:50:00 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-11 08:50:09 +0200 | <c_wraith> | I never actually remember what they are - just that they're really squirrely compared to the monad laws |
| 2025-08-11 08:50:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-11 08:50:45 +0200 | LBRB | (~user@user/LBRB) LBRB |
| 2025-08-11 08:52:53 +0200 | <ski> | pure (.) <*> u <*> v <*> w = u <*> (v <*> w) -- Composition |
| 2025-08-11 08:53:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-11 08:53:47 +0200 | <ski> | not seeing how `x <*> (f <$> y) = (. f) <$> x <*> y)' follows, really |
| 2025-08-11 08:53:53 +0200 | <ski> | hm. i guess |
| 2025-08-11 08:54:06 +0200 | <ski> | u <*> pure y = pure ($ y) <*> u -- Interchange |
| 2025-08-11 08:54:09 +0200 | <ski> | may be involved |
| 2025-08-11 08:54:28 +0200 | <c_wraith> | nah, the only thing involved is pure f <*> x === f <$> x |
| 2025-08-11 08:54:52 +0200 | <c_wraith> | that's the only rewrite away from it being exactly the composition law |
| 2025-08-11 08:55:01 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 276 seconds) |
| 2025-08-11 08:55:19 +0200 | AlexNoo | (~AlexNoo@178.34.150.240) (Ping timeout: 260 seconds) |
| 2025-08-11 08:55:33 +0200 | <c_wraith> | Oh, no. You're right, you need to factor the f in. |
| 2025-08-11 08:55:49 +0200 | <ski> | the order is swapped |
| 2025-08-11 08:57:17 +0200 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2025-08-11 08:58:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-11 08:58:27 +0200 | <c_wraith> | ok, yeah. that gets interchange involved |
| 2025-08-11 08:59:28 +0200 | acidjnk | (~acidjnk@p200300d6e7171949546b19bac1316c06.dip0.t-ipconnect.de) acidjnk |
| 2025-08-11 09:00:02 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-11 09:00:46 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-11 09:04:02 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
| 2025-08-11 09:04:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) |
| 2025-08-11 09:04:20 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-08-11 09:04:59 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-08-11 09:05:10 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-08-11 09:05:31 +0200 | <Leary> | I hate the `Applicative` laws in the haddocks. They should just be associativity of `liftA2 (.)` with identity `pure id`. |
| 2025-08-11 09:08:17 +0200 | laman | (laman@rego.ai) (Server closed connection) |
| 2025-08-11 09:08:41 +0200 | laman | (laman@rego.ai) laman |
| 2025-08-11 09:09:10 +0200 | <ski> | @type GHC.Base.liftA2 |
| 2025-08-11 09:09:11 +0200 | <lambdabot> | Applicative f => (a -> b -> c) -> f a -> f b -> f c |
| 2025-08-11 09:09:16 +0200 | <ski> | (that's a method) |
| 2025-08-11 09:17:26 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-08-11 09:20:53 +0200 | ft | (~ft@p3e9bcd7f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-08-11 09:27:42 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2025-08-11 09:31:07 +0200 | chele | (~chele@user/chele) chele |
| 2025-08-11 09:32:04 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 260 seconds) |
| 2025-08-11 09:32:56 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-11 09:45:24 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-08-11 09:45:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 09:45:57 +0200 | LBRB | (~user@user/LBRB) (Ping timeout: 252 seconds) |
| 2025-08-11 09:50:04 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-11 09:50:06 +0200 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Server closed connection) |
| 2025-08-11 09:50:35 +0200 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam |