| 2024-12-23 00:02:56 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2024-12-23 00:02:57 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 00:03:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 00:04:18 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2024-12-23 00:04:18 +0100 | tnt2 | tnt1 |
| 2024-12-23 00:11:34 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-23 00:12:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 00:12:21 +0100 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-12-23 00:12:56 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2024-12-23 00:12:56 +0100 | tnt2 | tnt1 |
| 2024-12-23 00:13:11 +0100 | xal | (~xal@mx1.xal.systems) xal |
| 2024-12-23 00:13:54 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-23 00:14:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 00:19:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-23 00:24:31 +0100 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
| 2024-12-23 00:24:45 +0100 | yaroot | (~yaroot@p3031163-ipngn4701souka.saitama.ocn.ne.jp) yaroot |
| 2024-12-23 00:25:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-23 00:30:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 00:32:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-23 00:35:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 00:36:33 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-12-23 00:45:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 00:50:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-23 00:50:49 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-23 01:01:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 01:06:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 01:17:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 01:18:31 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) |
| 2024-12-23 01:18:33 +0100 | sprotte24 | (~sprotte24@p200300d16f236f0034c2c833107a461e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-23 01:22:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 01:32:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 01:37:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 01:37:46 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-23 01:40:03 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-23 01:48:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 01:52:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 02:04:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 02:09:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 02:15:15 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f49b5be3bacf47f1ed3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-12-23 02:20:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 02:23:06 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm |
| 2024-12-23 02:23:15 +0100 | <haskellbridge> | <thirdofmay18081814goya> seems the above model is incorrect but I'm not sure |
| 2024-12-23 02:23:34 +0100 | <haskellbridge> | <thirdofmay18081814goya> does anyone know if FRP GUIs delegate rendering to individual components instead of having a centralized rendering function? |
| 2024-12-23 02:25:36 +0100 | <geekosaur> | depends on the specific FRP implementation, I'm pretty sure. each of them has its own model and most of them vary widely if not wildly from each other |
| 2024-12-23 02:25:48 +0100 | <geekosaur> | "FRP" is not even close to being a monolith |
| 2024-12-23 02:26:08 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm I should check out project implemented in the different libraries, ty good idea |
| 2024-12-23 02:26:16 +0100 | <haskellbridge> | <thirdofmay18081814goya> * projects |
| 2024-12-23 02:27:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 02:33:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 02:39:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 02:40:44 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-23 02:48:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-12-23 02:50:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 02:54:44 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 265 seconds) |
| 2024-12-23 02:55:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 03:01:20 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (Ping timeout: 260 seconds) |
| 2024-12-23 03:05:04 +0100 | <EvanR> | I have this cool non-answer to your question about FRP components from way back in the day https://apfelmus.nfshost.com/blog/2012/03/29-frp-three-principles-bidirectional-gui.html#the-three… |
| 2024-12-23 03:05:14 +0100 | <EvanR> | thirdofmay18081814goya ^ |
| 2024-12-23 03:05:28 +0100 | <EvanR> | less about low level rendering and more high level responsibilities |
| 2024-12-23 03:05:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 03:09:02 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-12-23 03:09:28 +0100 | <haskellbridge> | <thirdofmay18081814goya> neato! thanks for the article |
| 2024-12-23 03:10:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 03:19:54 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2024-12-23 03:20:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 03:23:44 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2024-12-23 03:24:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 03:35:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 03:35:56 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.36) Jeanne-Kamikaze |
| 2024-12-23 03:41:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-23 03:42:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 03:48:19 +0100 | zenmov | (~zenmov@user/zenmov) (Quit: Lost terminal) |
| 2024-12-23 03:52:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 03:58:19 +0100 | sympt | (~sympt@user/sympt) (Ping timeout: 245 seconds) |
| 2024-12-23 04:00:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 04:04:20 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-12-23 04:04:57 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-12-23 04:11:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 04:18:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 04:27:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-23 04:27:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-23 04:29:30 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.36) (Quit: Leaving) |
| 2024-12-23 04:29:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 04:36:45 +0100 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2024-12-23 04:37:10 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 244 seconds) |
| 2024-12-23 04:38:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 04:42:17 +0100 | cptaffe` | cptaffe |
| 2024-12-23 04:42:38 +0100 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 244 seconds) |
| 2024-12-23 04:44:24 +0100 | td_ | (~td@i53870924.versanet.de) td_ |
| 2024-12-23 04:49:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 04:50:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-23 04:53:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 05:04:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 05:05:59 +0100 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2024-12-23 05:06:25 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 252 seconds) |
| 2024-12-23 05:09:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-23 05:10:54 +0100 | hsw_ | (~hsw@2001:b030:2303:104:172:25:12:132) hsw |
| 2024-12-23 05:10:54 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-12-23 05:10:59 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 2024-12-23 05:11:06 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-12-23 05:11:31 +0100 | cptaffe` | cptaffe |
| 2024-12-23 05:12:31 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: No Ping reply in 180 seconds.) |
| 2024-12-23 05:13:35 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-23 05:13:59 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-23 05:14:16 +0100 | _xor3 | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2024-12-23 05:14:21 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2024-12-23 05:14:24 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
| 2024-12-23 05:14:24 +0100 | _xor3 | _xor |
| 2024-12-23 05:20:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 05:24:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 05:25:10 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-23 05:25:48 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-23 05:26:59 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2024-12-23 05:27:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 05:35:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 05:36:03 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-23 05:37:41 +0100 | weary-traveler | (~user@user/user363627) (Client Quit) |
| 2024-12-23 05:37:58 +0100 | user363628 | (~user@user/user363627) user363627 |
| 2024-12-23 05:39:28 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 244 seconds) |
| 2024-12-23 05:39:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 05:52:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 05:56:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 05:57:37 +0100 | sonolin | (~michael@user/sonolin) (Quit: WeeChat 4.4.4) |
| 2024-12-23 06:04:09 +0100 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2024-12-23 06:04:54 +0100 | Guest64 | (~Guest64@2600:1014:b0a1:97bd:e859:e7ea:4803:dd73) |
| 2024-12-23 06:07:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 06:11:05 +0100 | danza | (~danza@user/danza) danza |
| 2024-12-23 06:14:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 06:25:37 +0100 | Guest64 | (~Guest64@2600:1014:b0a1:97bd:e859:e7ea:4803:dd73) (Quit: Client closed) |
| 2024-12-23 06:29:35 +0100 | orangeflu | (~flu@240-100-179-143.ftth.glasoperator.nl) (Quit: Lost terminal) |
| 2024-12-23 06:30:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 06:35:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 06:36:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 06:41:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 06:53:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 06:56:14 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.2.2) |
| 2024-12-23 06:56:33 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) hughjfchen |
| 2024-12-23 06:57:01 +0100 | danza | (~danza@user/danza) (Quit: overflow) |
| 2024-12-23 06:58:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 07:06:59 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.2.2) |
| 2024-12-23 07:08:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 07:10:01 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) hughjfchen |
| 2024-12-23 07:13:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 07:17:44 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 07:24:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 07:28:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 07:37:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 07:39:49 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-12-23 07:41:24 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) |
| 2024-12-23 07:41:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 07:46:15 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-23 07:46:23 +0100 | mari23720 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 07:47:02 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 07:48:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2024-12-23 07:48:06 +0100 | tnt2 | tnt1 |
| 2024-12-23 07:48:36 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-12-23 07:52:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 07:57:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 08:01:38 +0100 | mari23720 | (~mari-este@user/mari-estel) (Ping timeout: 272 seconds) |
| 2024-12-23 08:04:54 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-23 08:08:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 08:13:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-23 08:15:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 08:17:14 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:18:48 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-23 08:19:46 +0100 | user363628 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-23 08:24:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-23 08:26:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 08:26:20 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-23 08:29:00 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-12-23 08:29:27 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 08:30:20 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2024-12-23 08:30:20 +0100 | tnt2 | tnt1 |
| 2024-12-23 08:30:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-23 08:34:41 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2024-12-23 08:34:47 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 08:37:04 +0100 | tnt2 | tnt1 |
| 2024-12-23 08:38:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 08:38:58 +0100 | mari95597 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:40:54 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 246 seconds) |
| 2024-12-23 08:43:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 08:46:36 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:49:01 +0100 | mari95597 | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-12-23 08:50:15 +0100 | mari54408 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 08:51:20 +0100 | flupe25 | (~flupe@2a01:e0a:e2:2f10:3319:e177:2674:ea8f) |
| 2024-12-23 08:52:20 +0100 | flupe25 | (~flupe@2a01:e0a:e2:2f10:3319:e177:2674:ea8f) (Client Quit) |
| 2024-12-23 08:53:05 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-23 08:53:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 08:58:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 08:59:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-23 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-23 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-23 09:02:59 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 09:04:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-12-23 09:05:27 +0100 | mari54408 | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-12-23 09:05:39 +0100 | mari73685 | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-23 09:07:47 +0100 | mari73685 | (~mari-este@user/mari-estel) (Client Quit) |
| 2024-12-23 09:08:33 +0100 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2024-12-23 09:08:39 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-12-23 09:09:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:13:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 09:24:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:29:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 09:38:45 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-12-23 09:39:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:43:04 +0100 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2024-12-23 09:46:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 09:54:48 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f25e9e9d221c37061e3.dip0.t-ipconnect.de) acidjnk |
| 2024-12-23 09:57:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 09:59:09 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 09:59:31 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-23 10:00:29 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2024-12-23 10:00:29 +0100 | tnt2 | tnt1 |
| 2024-12-23 10:02:09 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) |
| 2024-12-23 10:02:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-23 10:02:42 +0100 | <Guest33> | Hi, is there a way to produce a native cont monad with just function arrows? |
| 2024-12-23 10:02:57 +0100 | <Guest33> | Assume you can type it properly: |
| 2024-12-23 10:03:39 +0100 | <Guest33> | type Cont r a = (a -> r) -> r |
| 2024-12-23 10:04:01 +0100 | <Guest33> | instance Functor (Cont r) |
| 2024-12-23 10:10:51 +0100 | <Guest33> | Or for that matter, type State s a... |
| 2024-12-23 10:12:27 +0100 | <Guest33> | And honestly it'd result in overlapping instances, so... |
| 2024-12-23 10:12:40 +0100 | <int-e> | you can't even match that instance head |
| 2024-12-23 10:12:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 10:13:25 +0100 | <Guest33> | I know, that's what I'm asking about |
| 2024-12-23 10:13:37 +0100 | <int-e> | This would amount to a type-level lambda which we don't have. |
| 2024-12-23 10:15:25 +0100 | <Guest33> | So there's no way to create an instance for (a -> r) -> r and s -> (s,a), right? |
| 2024-12-23 10:16:29 +0100 | <int-e> | right. Well, I suppose you can try instance r ~ s => Foo ((a -> r) -> s) |
| 2024-12-23 10:16:53 +0100 | <Guest33> | Without newtypes of course, but that's just ContT identity and StateT identity |
| 2024-12-23 10:16:54 +0100 | <int-e> | But that's not what you'd want for Functor. |
| 2024-12-23 10:17:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 10:17:50 +0100 | <int-e> | Anyway, use a newtype and that solves this problem. You can think of naming that newtype in your code as hinting to the compiler to introduce the right type-level lambda if you like. |
| 2024-12-23 10:18:30 +0100 | <Guest33> | I mean if you go to newtype, just get Control.Monad.Trans and call it a day |
| 2024-12-23 10:18:38 +0100 | <int-e> | Sure. |
| 2024-12-23 10:18:55 +0100 | <Guest33> | The curiosity is more about naked reader having an instance in base |
| 2024-12-23 10:19:37 +0100 | <Guest33> | Naked cont and naked state apparently can't have an instance, and it's probably a good thing due to overlapping instances |
| 2024-12-23 10:23:38 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) (Quit: Client closed) |
| 2024-12-23 10:24:40 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-12-23 10:28:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 10:32:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 10:34:54 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 272 seconds) |
| 2024-12-23 10:35:28 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-23 10:36:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-12-23 10:38:19 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-23 10:38:50 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) |
| 2024-12-23 10:40:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 10:40:33 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) (Client Quit) |
| 2024-12-23 10:45:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |