Newest at the top
| 2026-05-31 08:04:08 +0000 | <mauke> | foldMap f (_, _, x) = f x |
| 2026-05-31 08:03:57 +0000 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
| 2026-05-31 08:03:55 +0000 | <mauke> | :t foldMap |
| 2026-05-31 08:03:08 +0000 | <castan> | I mean Functor has instances for tuples up to 7 elements |
| 2026-05-31 08:03:02 +0000 | <Rembane> | mauke: Highlander tuple? |
| 2026-05-31 08:02:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-31 08:00:05 +0000 | <castan> | that would be the last |
| 2026-05-31 08:00:00 +0000 | <mauke> | there is only one option |
| 2026-05-31 07:59:48 +0000 | <Rembane> | Which element would you write Foldable instances for in higher arity tuples? |
| 2026-05-31 07:59:10 +0000 | <castan> | fair, but then I would have expected Foldable instances for higher arity tuples as well |
| 2026-05-31 07:57:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 07:56:45 +0000 | <Rembane> | Yeah, the more boring answer is: what would it otherwise look like? |
| 2026-05-31 07:54:32 +0000 | <castan> | otherwise the instance itself is trivial |
| 2026-05-31 07:53:39 +0000 | <castan> | I guess it makes sense if passing pairs to a function expecting any foldable |
| 2026-05-31 07:47:21 +0000 | <Rembane> | castan: It's quite good if you know about it. One concrete example is that you want to sort on the first element and then do things on the second element and throw away the first element. |
| 2026-05-31 07:46:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 266 seconds) |
| 2026-05-31 07:45:38 +0000 | <castan> | and why isn't there an instance for ((,,) a b) |
| 2026-05-31 07:45:13 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1e8e:69be:97e9:df50) |
| 2026-05-31 07:45:08 +0000 | <castan> | what's the point of the Foldable instance of pairs |
| 2026-05-31 07:44:45 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e607:1510:9460:dc5c) (Ping timeout: 245 seconds) |
| 2026-05-31 07:44:44 +0000 | castan | (~castan@188.26.39.158) |
| 2026-05-31 07:41:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 07:40:40 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-05-31 07:32:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-31 07:31:42 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-31 07:31:19 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-31 07:31:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-31 07:29:19 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-05-31 07:26:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 07:19:00 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e607:1510:9460:dc5c) |
| 2026-05-31 07:18:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:43a1:dfae:d3d:489e) (Ping timeout: 276 seconds) |
| 2026-05-31 07:15:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-31 07:10:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 07:05:00 +0000 | zzshork | (~zzshork@user/zzshork) () |
| 2026-05-31 07:04:11 +0000 | zzshork | (~zzshork@user/zzshork) zzshork |
| 2026-05-31 07:04:11 +0000 | zzshork | (~zzshork@67.189.145.231) (Changing host) |
| 2026-05-31 07:03:45 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-05-31 07:03:11 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-05-31 07:02:59 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) myxokephale |
| 2026-05-31 07:02:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-31 07:01:02 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-31 06:57:52 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-05-31 06:56:09 +0000 | phos | (~az-181@2a04:4a43:94bf:f166:33c0:fe4e:a468:67a4) (Ping timeout: 245 seconds) |
| 2026-05-31 06:55:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 06:53:42 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-05-31 06:50:07 +0000 | zzshork | (~zzshork@67.189.145.231) |
| 2026-05-31 06:48:20 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-31 06:44:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-31 06:44:29 +0000 | zzshork | (~zzshork@67.189.145.231) (Ping timeout: 245 seconds) |
| 2026-05-31 06:43:23 +0000 | Square2 | (~Square@user/square) (Ping timeout: 265 seconds) |