| 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) |
| 2024-12-23 10:55:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 10:56:26 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-23 11:00:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 11:08:04 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-23 11:10:50 +0100 | mange | (~user@user/mange) mange |
| 2024-12-23 11:11:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 11:11:10 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-23 11:15:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 11:20:45 +0100 | ash3en | (~Thunderbi@185.224.57.162) ash3en |
| 2024-12-23 11:25:12 +0100 | ash3en | (~Thunderbi@185.224.57.162) (Ping timeout: 252 seconds) |
| 2024-12-23 11:26:07 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-23 11:26:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 11:27:24 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 11:27:42 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 244 seconds) |
| 2024-12-23 11:32:13 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-23 11:45:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-23 11:46:31 +0100 | Guest78 | (~Guest78@2a02:8084:1:6500::db) (Quit: Client closed) |
| 2024-12-23 11:46:45 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-12-23 11:50:17 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-23 11:56:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 11:57:56 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 11:59:45 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2024-12-23 12:01:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 12:01:37 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-12-23 12:02:11 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-12-23 12:03:34 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 2024-12-23 12:03:42 +0100 | Guest78 | (~Guest78@2a02:8084:1:6500::db) |
| 2024-12-23 12:09:19 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-12-23 12:09:27 +0100 | pseudonymous__ | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 12:11:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-23 12:11:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 12:16:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 12:17:21 +0100 | ft | (~ft@p508db070.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-12-23 12:20:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 244 seconds) |
| 2024-12-23 12:20:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-23 12:22:06 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) |
| 2024-12-23 12:22:33 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-23 12:26:32 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-23 12:27:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 12:32:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 12:35:09 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-12-23 12:35:49 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2024-12-23 12:41:22 +0100 | rvalue- | rvalue |
| 2024-12-23 12:42:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 12:46:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 12:57:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 13:02:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 13:06:34 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2024-12-23 13:07:53 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-12-23 13:10:17 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-12-23 13:11:40 +0100 | billchenchina | (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) billchenchina |
| 2024-12-23 13:13:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 13:13:21 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina |
| 2024-12-23 13:15:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-12-23 13:16:45 +0100 | billchenchina | (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) (Ping timeout: 276 seconds) |
| 2024-12-23 13:17:01 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) |
| 2024-12-23 13:18:15 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 13:19:19 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2024-12-23 13:19:20 +0100 | tnt2 | tnt1 |
| 2024-12-23 13:19:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-23 13:21:22 +0100 | jero98772 | (~jero98772@2a00:1fa0:48a8:106e:59c5:719e:9cd2:863) |
| 2024-12-23 13:24:01 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2024-12-23 13:24:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 13:26:10 +0100 | Guest33 | (~Guest33@2001:1600:13:101::60e) (Ping timeout: 240 seconds) |
| 2024-12-23 13:30:22 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 13:31:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 13:31:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2024-12-23 13:31:37 +0100 | tnt2 | tnt1 |
| 2024-12-23 13:32:20 +0100 | hc | (~hc@mail.hce.li) hc |
| 2024-12-23 13:35:05 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 13:35:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 13:35:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2024-12-23 13:41:36 +0100 | forell | (~forell@user/forell) (Ping timeout: 252 seconds) |
| 2024-12-23 13:43:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 13:44:49 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 265 seconds) |
| 2024-12-23 13:49:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 13:52:05 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 13:53:24 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2024-12-23 13:58:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2024-12-23 13:59:22 +0100 | madhavanmiui | (~madhavanm@2409:40f4:102a:b29d:8000::) |
| 2024-12-23 14:00:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 14:05:16 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 14:05:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 14:06:37 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-23 14:07:32 +0100 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2024-12-23 14:12:14 +0100 | madhavanmiui | (~madhavanm@2409:40f4:102a:b29d:8000::) (Quit: Quit) |
| 2024-12-23 14:14:25 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-23 14:14:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-23 14:16:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 14:20:26 +0100 | jero98772 | (~jero98772@2a00:1fa0:48a8:106e:59c5:719e:9cd2:863) (Read error: Connection reset by peer) |
| 2024-12-23 14:22:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 14:24:41 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-12-23 14:25:13 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-12-23 14:25:43 +0100 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2024-12-23 14:32:45 +0100 | rvalue- | rvalue |
| 2024-12-23 14:33:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 14:33:51 +0100 | forell | (~forell@user/forell) forell |
| 2024-12-23 14:38:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-23 14:38:27 +0100 | manny_ | (~manny@45.134.142.209) |
| 2024-12-23 14:39:15 +0100 | jero98772 | (~jero98772@31.130.32.65) |
| 2024-12-23 14:41:21 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2024-12-23 14:42:25 +0100 | systemhalted | (~systemhal@130.51.137.77) systemhalted |
| 2024-12-23 14:42:26 +0100 | systemhalted | (~systemhal@130.51.137.77) (Read error: Connection reset by peer) |
| 2024-12-23 14:43:37 +0100 | hseg | (~gesh@46.120.21.36) |
| 2024-12-23 14:44:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 14:49:08 +0100 | manny_ | (~manny@45.134.142.209) (Quit: Quit) |
| 2024-12-23 14:51:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-23 14:52:40 +0100 | manny_ | (~quassel@45.134.142.209) |
| 2024-12-23 14:55:00 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-23 14:55:15 +0100 | manny_ | (~quassel@45.134.142.209) (Client Quit) |
| 2024-12-23 14:55:39 +0100 | manny_ | (~quassel@45.134.142.209) |
| 2024-12-23 14:57:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-23 15:02:10 +0100 | <haskellbridge> | <magic_rb> I need suggestions, i want to eventually make a small prototype of a terraform like tool. Not sure what actual adjective id use, but the gist is that the tool would get the current state, in this case filesystem layout, get the desired state from a config file, compare the two, produce a plan, execute said plan |
| 2024-12-23 15:02:56 +0100 | <haskellbridge> | <magic_rb> The compare sounds like a good use case for gdiff. Then if i can make sense of the patch data type, i could form a plan by that |
| 2024-12-23 15:03:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 15:06:35 +0100 | <haskellbridge> | <magic_rb> So for those familiar with tmpfilesd, something like that, a bit less stupid and 100% less C |
| 2024-12-23 15:07:06 +0100 | <JuanDaugherty> | and ur gonna use haskell, right? |
| 2024-12-23 15:07:12 +0100 | <haskellbridge> | <magic_rb> Ofc |
| 2024-12-23 15:07:16 +0100 | manny_ | (~quassel@45.134.142.209) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-12-23 15:07:26 +0100 | <haskellbridge> | <magic_rb> Isnt this the haskell irc room (: |
| 2024-12-23 15:07:46 +0100 | <JuanDaugherty> | absolutely, just checking |
| 2024-12-23 15:08:55 +0100 | <JuanDaugherty> | i dunno from terraform so cant say; often in such cases a related name is used |
| 2024-12-23 15:09:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 15:10:31 +0100 | <haskellbridge> | <magic_rb> Id call it a "given a current state of a system and a desired out, hammer it into shape" |
| 2024-12-23 15:10:33 +0100 | <haskellbridge> | <magic_rb> System |
| 2024-12-23 15:11:03 +0100 | <JuanDaugherty> | maxwell them maybe (silverhammer) |
| 2024-12-23 15:11:08 +0100 | <JuanDaugherty> | *then |
| 2024-12-23 15:11:20 +0100 | <JuanDaugherty> | as a monicker not an adjective |
| 2024-12-23 15:11:32 +0100 | son0p | (~ff@186.121.98.118) son0p |
| 2024-12-23 15:12:04 +0100 | <JuanDaugherty> | or just silverhammer, but u might wanna rethink hammering on ppls fs |
| 2024-12-23 15:12:28 +0100 | manny_ | (~manny@45.134.142.209) |
| 2024-12-23 15:13:06 +0100 | <JuanDaugherty> | a plethora of tolls exist for most fs tasks |
| 2024-12-23 15:13:16 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-23 15:13:45 +0100 | <haskellbridge> | <magic_rb> Oh yeah but this is like a general problem |
| 2024-12-23 15:14:02 +0100 | <haskellbridge> | <magic_rb> A lot of my project fall into the same category but slightly different context |
| 2024-12-23 15:14:13 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 248 seconds) |
| 2024-12-23 15:15:22 +0100 | jero98772 | (~jero98772@31.130.32.65) (Quit: leaving) |
| 2024-12-23 15:15:22 +0100 | <JuanDaugherty> | a nice UI for rsnapshot would be great |
| 2024-12-23 15:17:11 +0100 | <JuanDaugherty> | u could do plans for backup generations |
| 2024-12-23 15:17:41 +0100 | <JuanDaugherty> | less hazard more benefit |
| 2024-12-23 15:17:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-23 15:18:59 +0100 | <JuanDaugherty> | u could easily do better than apple timemachine |
| 2024-12-23 15:20:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 15:21:31 +0100 | <JuanDaugherty> | an issue with the bridge: part/leave doesn show |
| 2024-12-23 15:25:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 15:33:08 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-23 15:35:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-23 15:35:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 15:40:35 +0100 | manny_ | (~manny@45.134.142.209) (Quit: Quit) |
| 2024-12-23 15:40:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 15:41:53 +0100 | manny_ | (~manny@45.134.142.209) |
| 2024-12-23 15:43:14 +0100 | <JuanDaugherty> | and even better plans for a given restore where u would produce the command for a specified action (cp or rsync), doable, straightforward, safe and useful |
| 2024-12-23 15:44:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-23 15:45:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 15:48:48 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:540c:c3f1:d127:c67e) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2024-12-23 15:49:08 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2024-12-23 15:50:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 15:52:41 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2024-12-23 15:54:18 +0100 | <haskellbridge> | <magic_rb> I want to have be able to manage a whole linux rootfs |
| 2024-12-23 15:54:30 +0100 | <haskellbridge> | <magic_rb> For nixos and rsync is not expressive enough probably |
| 2024-12-23 15:54:35 +0100 | <haskellbridge> | <magic_rb> Or itll be a pain |
| 2024-12-23 15:59:19 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-23 16:00:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-23 16:01:54 +0100 | Digitteknohippie | Digit |
| 2024-12-23 16:03:47 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-12-23 16:06:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 16:10:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-23 16:12:20 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2024-12-23 16:15:29 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2024-12-23 16:18:08 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Read error: Connection reset by peer) |
| 2024-12-23 16:21:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 16:22:42 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-23 16:27:49 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Remote host closed the connection) |
| 2024-12-23 16:28:27 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-23 16:28:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-23 16:30:07 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-23 16:30:37 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-23 16:36:30 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-23 16:37:10 +0100 | manny_ | (~manny@45.134.142.209) (Quit: Quit) |
| 2024-12-23 16:37:27 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-23 16:39:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 16:41:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-12-23 16:45:51 +0100 | manny__ | (~manny@static-68-235-46-164.cust.tzulo.com) |
| 2024-12-23 16:46:32 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Remote host closed the connection) |
| 2024-12-23 16:50:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 16:51:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-23 16:57:15 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2024-12-23 17:00:53 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-23 17:01:09 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-12-23 17:01:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 17:03:45 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-23 17:03:52 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2024-12-23 17:06:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-23 17:06:19 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-23 17:06:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-23 17:06:51 +0100 | ljdarj1 | ljdarj |
| 2024-12-23 17:09:39 +0100 | pseudonymous__ | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-12-23 17:10:06 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-23 17:12:28 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2024-12-23 17:16:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 17:19:52 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-23 17:21:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-23 17:27:27 +0100 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 2024-12-23 17:27:33 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 2024-12-23 17:31:04 +0100 | Me-me | (~me-me@kc.randomserver.name) |
| 2024-12-23 17:32:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 17:33:59 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-23 17:37:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 17:39:12 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-23 17:47:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 17:52:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 17:55:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-12-23 18:02:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 18:07:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 18:18:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 18:22:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-23 18:23:32 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2024-12-23 18:29:17 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-12-23 18:33:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 18:38:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-23 18:39:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-23 18:40:16 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2024-12-23 18:40:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 18:43:15 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Ping timeout: 244 seconds) |
| 2024-12-23 18:43:28 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-23 18:43:59 +0100 | <hellwolf> | mapM (compile_fn_dispatcher ind') fns <&> catMaybes |
| 2024-12-23 18:43:59 +0100 | <hellwolf> | ^-- is there way to rewrite this using mapMaybe |
| 2024-12-23 18:46:45 +0100 | <c_wraith> | not in base. |
| 2024-12-23 18:47:06 +0100 | <c_wraith> | you're looking for the wither function from the witherable package |
| 2024-12-23 18:48:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 18:48:36 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-23 18:48:50 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2024-12-23 18:48:50 +0100 | tnt2 | tnt1 |
| 2024-12-23 18:50:47 +0100 | <hellwolf> | huh, I can't tell what does that package do just from its name. |
| 2024-12-23 18:51:30 +0100 | <hololeap> | it generalizes mapMaybe to other applicatives besides lists |
| 2024-12-23 18:52:14 +0100 | <hellwolf> | i see |
| 2024-12-23 18:52:40 +0100 | <hellwolf> | btw, I just finished the latest haskell interlude podcast: https://haskell.foundation/podcast/60/ . good talk, recommended to listen in. |
| 2024-12-23 18:53:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-23 18:53:34 +0100 | <hololeap> | well, mapMaybe is generalized to Functors, 'wither' is like a stronger traverse that can remove elements |
| 2024-12-23 18:54:04 +0100 | <hololeap> | it's a super useful package, definitely one to keep in your toolbox |
| 2024-12-23 18:55:20 +0100 | <hseg> | is it illegal to interleave definitions and imports? |
| 2024-12-23 18:56:12 +0100 | <c_wraith> | yeah. imports have to be at the top. (more or less. after the module declaration) |
| 2024-12-23 18:57:11 +0100 | <hseg> | hm. am encountering this since I'm using CPP to conditionally define a shim |
| 2024-12-23 18:57:19 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Read error: Connection reset by peer) |
| 2024-12-23 18:57:34 +0100 | <hseg> | (optparse-applicative renamed text :: String -> Doc to pretty :: String -> Doc a) |
| 2024-12-23 18:57:43 +0100 | <hellwolf> | 12-23 19:54 <hololeap> it's a super useful package, definitely one to keep in your toolbox |
| 2024-12-23 18:57:43 +0100 | <hellwolf> | Noted. I am sold. I will give it a look. |
| 2024-12-23 18:57:58 +0100 | <hseg> | (so to support old and new versions, I need to define a shim) |
| 2024-12-23 18:58:11 +0100 | <hololeap> | you might have to split it up into several identical #if blocks |
| 2024-12-23 18:58:15 +0100 | <hellwolf> | Btw, talking about interleaving imports and definitions; I would even go further, say, defining multiple modules in a single file could be rad for writing single file cabal scripts, e.g. |
| 2024-12-23 18:58:27 +0100 | <hololeap> | like, one for the import and one for the actual code |
| 2024-12-23 18:58:58 +0100 | <hseg> | fair. a bit of a shame, though, though tbf otoh that forces the code to be somewhat more readable |
| 2024-12-23 18:59:23 +0100 | <hseg> | ... actually no, idk that that's that much more readable |
| 2024-12-23 18:59:38 +0100 | <hololeap> | CPP is never very pretty. it's usually just a compatibility shim |
| 2024-12-23 18:59:50 +0100 | <hololeap> | a necessary evil sometimes |
| 2024-12-23 19:00:40 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-23 19:01:11 +0100 | <hololeap> | I guess you could shove the CPP stuff into its own module so it isn't stinking up the rest of your code :p |
| 2024-12-23 19:01:18 +0100 | <hseg> | right. I'm more referring to the fact that I'm stuck either duplicating the test or moving the import, neither of which is good for readability |
| 2024-12-23 19:01:30 +0100 | <hseg> | hm, that _is_ a fair point |
| 2024-12-23 19:02:23 +0100 | manny__ | (~manny@static-68-235-46-164.cust.tzulo.com) (Quit: Quit) |
| 2024-12-23 19:02:29 +0100 | <hseg> | tbh, this feels like one of those things that a more backpack-y ecosystem might do better |
| 2024-12-23 19:03:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 19:03:44 +0100 | <hseg> | so you just pollute your version constraints with "for this version, I need this compatibility shim" rather than the code itself |
| 2024-12-23 19:04:31 +0100 | <hololeap> | it's either that or make the constraints on your dependencies really tight |
| 2024-12-23 19:05:02 +0100 | <hseg> | yeah |
| 2024-12-23 19:05:46 +0100 | <hololeap> | like, I don't think "text >=2" is a terrible thing, esp for personal/private projects |
| 2024-12-23 19:06:16 +0100 | <hololeap> | it seems like a lot of libraries try to keep text-1.* support which I'm sure brings in a lot of CPP |
| 2024-12-23 19:08:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-23 19:08:53 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-12-23 19:09:12 +0100 | dsrt^ | (krt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-23 19:10:53 +0100 | <hseg> | welp, code structure is forcing my hand anyway -- a bunch of transitive imports means my shims end up being imported together, causing ambiguity |
| 2024-12-23 19:11:27 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-23 19:19:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-23 19:19:30 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.49) Jeanne-Kamikaze |
| 2024-12-23 19:21:07 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-12-23 19:21:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |