| 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 |
| 2025-08-11 09:55:28 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-08-11 09:56:55 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2025-08-11 09:59:45 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (Server closed connection) |
| 2025-08-11 09:59:51 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2025-08-11 10:00:06 +0200 | <jackdk> | Now that it's a method, could they be revised? |
| 2025-08-11 10:00:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) |
| 2025-08-11 10:05:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-11 10:07:02 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-08-11 10:07:43 +0200 | glguy | (glguy@libera/staff/glguy) (Ping timeout: 624 seconds) |
| 2025-08-11 10:14:58 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-11 10:19:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-08-11 10:19:52 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2025-08-11 10:25:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 10:26:10 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-08-11 10:27:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-08-11 10:30:24 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-08-11 10:30:51 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-08-11 10:31:36 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-08-11 10:31:38 +0200 | Digit | (~user@user/digit) Digit |
| 2025-08-11 10:40:01 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-11 10:42:14 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-11 10:43:40 +0200 | img | (~img@user/img) img |
| 2025-08-11 11:18:00 +0200 | <ski> | not sure it's officially a method, rather than just for efficiency |
| 2025-08-11 11:23:33 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-08-11 11:26:19 +0200 | stilgart | (~Christoph@2001:41d0:2:8673::42) (Server closed connection) |
| 2025-08-11 11:26:28 +0200 | stilgart | (~Christoph@2001:41d0:2:8673::42) stilgart |
| 2025-08-11 11:28:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-11 11:29:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-08-11 11:30:29 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-11 11:33:08 +0200 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-08-11 11:33:25 +0200 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-11 11:33:44 +0200 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-08-11 11:41:56 +0200 | glguy_ | (glguy@libera/staff/glguy) glguy |
| 2025-08-11 11:42:11 +0200 | glguy_ | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-11 11:42:31 +0200 | glguy_ | (glguy@libera/staff/glguy) glguy |
| 2025-08-11 11:42:45 +0200 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-08-11 11:42:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) |
| 2025-08-11 11:43:21 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-08-11 11:43:48 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-08-11 11:50:37 +0200 | traxex | (traxex@user/traxex) (K-Lined) |
| 2025-08-11 11:54:17 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-08-11 12:04:06 +0200 | dhil | (~dhil@5.151.29.140) dhil |
| 2025-08-11 12:04:13 +0200 | traxex | (traxex@user/traxex) traxex |
| 2025-08-11 12:08:21 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-08-11 12:08:40 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-08-11 12:13:00 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-08-11 12:13:00 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-08-11 12:13:00 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-08-11 12:15:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-11 12:16:25 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2025-08-11 12:21:13 +0200 | euandreh | (~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) (Remote host closed the connection) |
| 2025-08-11 12:21:46 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-08-11 12:32:55 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-08-11 12:33:58 +0200 | Square | (~Square4@user/square) Square |
| 2025-08-11 12:36:57 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-08-11 12:38:48 +0200 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 12:39:45 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-08-11 12:45:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-11 12:55:42 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-08-11 12:55:52 +0200 | fp1 | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-08-11 12:58:09 +0200 | fp1 | fp |
| 2025-08-11 13:12:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-08-11 13:14:22 +0200 | califax | (~califax@user/califx) califx |
| 2025-08-11 13:17:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-08-11 13:22:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-11 13:22:19 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-08-11 13:23:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-08-11 13:28:51 +0200 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 13:33:50 +0200 | trickard_ | trickard |
| 2025-08-11 13:35:20 +0200 | <Square> | Is there any direct haddock support for documenting type arguments of class? |
| 2025-08-11 13:35:53 +0200 | <Square> | ...other than include mention of the arguments in the class documentation body that is. |
| 2025-08-11 13:43:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-11 13:46:24 +0200 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 13:46:38 +0200 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 13:48:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) |
| 2025-08-11 13:49:43 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-08-11 14:02:47 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-08-11 14:18:59 +0200 | ynzoqn | (~ynzoqn@user/ynzoqn) ynzoqn |
| 2025-08-11 14:21:42 +0200 | <[exa]> | Square: probably not, does it even support "normal" function arguments? |
| 2025-08-11 14:22:25 +0200 | <Square> | [exa], Actually looks as if there is support for function arguments (but can't remember I've seen it used). |
| 2025-08-11 14:23:20 +0200 | <[exa]> | ha yes you can annotate the type |
| 2025-08-11 14:23:25 +0200 | <[exa]> | https://haskell-haddock.readthedocs.io/latest/markup.html#function-arguments |
| 2025-08-11 14:23:58 +0200 | <Square> | Sadly I don't find anything for type arguments of classes. |
| 2025-08-11 14:24:00 +0200 | <[exa]> | hm...can we declare and annotate the kind of the typeclass constraunt? :D |
| 2025-08-11 14:26:57 +0200 | <[exa]> | probably not |
| 2025-08-11 14:27:01 +0200 | glguy_ | glguy |
| 2025-08-11 14:33:53 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 248 seconds) |
| 2025-08-11 14:35:59 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-11 14:37:48 +0200 | phma | (phma@2001:5b0:211f:e8b8:5c88:56cb:7320:3f0c) (Read error: Connection reset by peer) |
| 2025-08-11 14:37:53 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-11 14:44:38 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-11 14:50:41 +0200 | trickard_ | trickard |
| 2025-08-11 14:53:49 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-08-11 14:58:54 +0200 | exarkun | (~exarkun@user/exarkun) (Server closed connection) |
| 2025-08-11 14:59:45 +0200 | exarkun | (~exarkun@user/exarkun) exarkun |
| 2025-08-11 15:02:31 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-11 15:04:09 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 2025-08-11 15:04:40 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-11 15:06:12 +0200 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 2025-08-11 15:13:12 +0200 | fp | (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 252 seconds) |
| 2025-08-11 15:13:54 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-08-11 15:17:55 +0200 | divya | (divya@140.238.251.170) (Server closed connection) |
| 2025-08-11 15:26:41 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
| 2025-08-11 15:27:40 +0200 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 15:27:54 +0200 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 15:31:01 +0200 | kuribas | (~user@ptr-17d51eoj04q0l82zsdl.18120a2.ip6.access.telenet.be) kuribas |
| 2025-08-11 15:33:11 +0200 | divya | (divya@140.238.251.170) divya |
| 2025-08-11 15:37:13 +0200 | bgamari_ | (~bgamari@64.223.225.237) (Server closed connection) |
| 2025-08-11 15:37:33 +0200 | bgamari | (~bgamari@64.223.225.237) |
| 2025-08-11 15:38:01 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 2025-08-11 15:40:16 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 255 seconds) |
| 2025-08-11 15:45:39 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-08-11 15:51:37 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-08-11 15:52:11 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
| 2025-08-11 15:54:26 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-08-11 15:54:49 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
| 2025-08-11 15:56:31 +0200 | natto17 | (~natto@129.154.243.159) (Server closed connection) |
| 2025-08-11 15:58:29 +0200 | natto17 | (~natto@129.154.243.159) natto |
| 2025-08-11 16:03:23 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:7cbc:aef3:7637:77aa) youngfrog |
| 2025-08-11 16:04:05 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-11 16:04:22 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Read error: Connection reset by peer) |
| 2025-08-11 16:04:36 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
| 2025-08-11 16:05:16 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2025-08-11 16:08:30 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-11 16:11:33 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-11 16:17:54 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-08-11 16:19:12 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
| 2025-08-11 16:27:47 +0200 | trickard_ | trickard |
| 2025-08-11 16:30:41 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-08-11 16:34:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 16:35:07 +0200 | swistak | (~swistak@185.21.216.141) (Server closed connection) |
| 2025-08-11 16:35:25 +0200 | swistak | (~swistak@185.21.216.141) |
| 2025-08-11 16:36:57 +0200 | trickard | (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-11 16:37:11 +0200 | trickard_ | (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-11 16:48:07 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 260 seconds) |
| 2025-08-11 16:50:05 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-11 16:54:27 +0200 | phma | (phma@2001:5b0:210b:deb8:6e74:5968:4a6e:e02b) |
| 2025-08-11 16:54:34 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Read error: Connection reset by peer) |
| 2025-08-11 16:54:37 +0200 | fp1 | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
| 2025-08-11 16:54:53 +0200 | ynzoqn | (~ynzoqn@user/ynzoqn) (Quit: Client closed) |
| 2025-08-11 16:55:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-08-11 16:57:11 +0200 | fp1 | fp |
| 2025-08-11 16:59:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) |
| 2025-08-11 17:03:12 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-08-11 17:06:44 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-11 17:08:46 +0200 | phma | (phma@2001:5b0:210b:deb8:6e74:5968:4a6e:e02b) (Read error: Connection reset by peer) |
| 2025-08-11 17:17:13 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Server closed connection) |
| 2025-08-11 17:17:22 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-08-11 17:24:21 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-11 17:25:44 +0200 | trickard_ | trickard |
| 2025-08-11 17:32:46 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-08-11 17:37:03 +0200 | ft | (~ft@p3e9bcfa6.dip0.t-ipconnect.de) ft |
| 2025-08-11 17:39:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31f0:971:c727:4a62) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-11 17:46:02 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-11 17:54:59 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-11 17:55:36 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-08-11 17:56:33 +0200 | phma | (phma@2001:5b0:210d:8b88:f11:9951:ebb6:c574) |