Newest at the top
| 2026-03-09 17:43:55 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2026-03-09 17:41:04 +0100 | oats | (~oats@user/oats) oats |
| 2026-03-09 17:40:49 +0100 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-03-09 17:37:26 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-03-09 17:37:00 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 246 seconds) |
| 2026-03-09 17:36:24 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:d84e:bd19:3fca:eb64) (Remote host closed the connection) |
| 2026-03-09 17:34:49 +0100 | kuribas | (~user@2a02-1810-2825-6000-46e-614f-97bf-a1c6.ip6.access.telenet.be) (Ping timeout: 248 seconds) |
| 2026-03-09 17:29:48 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-09 17:23:46 +0100 | Digitteknohippie | Digit |
| 2026-03-09 17:23:26 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-03-09 17:22:59 +0100 | Digit | Digitteknohippie |
| 2026-03-09 17:18:58 +0100 | <[exa]> | yeah I myself already have 2 different correct opinions on which direction of the cycle is more correct... imagine giving it to more people :) |
| 2026-03-09 17:18:07 +0100 | <dolio> | You could make a cycle betwee foldMap, foldr and toList. But that might make some choices of minimal implementation kind of bad. |
| 2026-03-09 17:17:01 +0100 | <[exa]> | wild |
| 2026-03-09 17:16:59 +0100 | <[exa]> | or make a 3-cycle of them all |
| 2026-03-09 17:16:54 +0100 | <[exa]> | yeah I assume that if we could default from 3 different ones, the 2 would need to pick which one to default from |
| 2026-03-09 17:16:31 +0100 | <[exa]> | (oh ok I guess because the defaults would be a mess) |
| 2026-03-09 17:16:30 +0100 | <dolio> | [exa]: I think the obstacle is how default definitions work. You can only give one default definition for each method, and those determine the minimal definitions. |
| 2026-03-09 17:16:00 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 246 seconds) |
| 2026-03-09 17:15:44 +0100 | Digit | (~user@user/digit) Digit |
| 2026-03-09 17:14:52 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-09 17:14:12 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-03-09 17:11:35 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) () |
| 2026-03-09 17:10:03 +0100 | <lambdabot> | Foldable t => t a -> [a] |
| 2026-03-09 17:10:02 +0100 | <mesaoptimizer> | :t toList |
| 2026-03-09 17:09:37 +0100 | <[exa]> | (somewhat stupidly I assumeth and debuggeth) |
| 2026-03-09 17:08:04 +0100 | <[exa]> | is there any reason why `toList` could not serve as a sufficient minimal definition of Foldable? |
| 2026-03-09 17:03:04 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 2026-03-09 16:58:32 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-09 16:53:51 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-03-09 16:52:12 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 255 seconds) |
| 2026-03-09 16:48:14 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-03-09 16:40:18 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 246 seconds) |
| 2026-03-09 16:37:00 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-03-09 16:27:35 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-09 16:24:20 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2026-03-09 16:23:35 +0100 | systemhalted | (~systemhal@108.147.100.161) (Remote host closed the connection) |
| 2026-03-09 16:22:54 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-09 16:22:13 +0100 | systemhalted | (~systemhal@108.147.100.161) systemhalted |
| 2026-03-09 16:18:22 +0100 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) (Quit: ZNC - http://znc.sourceforge.net) |
| 2026-03-09 16:10:24 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-09 16:02:12 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-09 15:57:44 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-03-09 15:48:53 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-09 15:48:30 +0100 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2026-03-09 15:27:48 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-09 15:27:48 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:2149:c35e:cd23:4e9a) (Changing host) |
| 2026-03-09 15:27:48 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:2149:c35e:cd23:4e9a) |
| 2026-03-09 15:26:12 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 264 seconds) |
| 2026-03-09 15:11:56 +0100 | danza | (~danza@user/danza) danza |