Newest at the top
| 2025-11-07 12:01:38 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 12:01:01 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-07 12:00:53 +0100 | Core5925 | (~Zemy@2600:100c:b0a1:9f27:7060:ffff:fe7d:6622) (Ping timeout: 265 seconds) |
| 2025-11-07 11:58:13 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:4085:11ff:fe99:8799) (Ping timeout: 246 seconds) |
| 2025-11-07 11:57:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 11:56:44 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-07 11:56:26 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-11-07 11:56:11 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-07 11:56:11 +0100 | Core5925 | (~Zemy@2600:100c:b0a1:9f27:7060:ffff:fe7d:6622) |
| 2025-11-07 11:54:29 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-07 11:53:56 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-07 11:53:55 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:4085:11ff:fe99:8799) |
| 2025-11-07 11:53:00 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-07 11:52:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 11:49:57 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:38d4:16ff:fedd:d703) (Ping timeout: 260 seconds) |
| 2025-11-07 11:46:12 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-07 11:45:40 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-07 11:45:40 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:38d4:16ff:fedd:d703) |
| 2025-11-07 11:41:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 11:36:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 11:30:28 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-11-07 11:25:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 11:20:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 11:16:41 +0100 | trickard_ | trickard |
| 2025-11-07 11:15:25 +0100 | <__monty__> | And none of the alternatives is actually shorter than `\f -> asum . map f`. |
| 2025-11-07 11:13:26 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-07 11:12:54 +0100 | <__monty__> | Relude has `asumMap`. |
| 2025-11-07 11:11:05 +0100 | fp | (~Thunderbi@130.233.70.136) fp |
| 2025-11-07 11:10:41 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-11-07 11:10:19 +0100 | <lambdabot> | (Foldable t, Alternative f) => (a1 -> f a2) -> t a1 -> f a2 |
| 2025-11-07 11:10:18 +0100 | <__monty__> | :t \f -> foldr ((<|>) . f) empty -- Technically shorter, I suppose. |
| 2025-11-07 11:09:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-07 11:05:43 +0100 | <kuribas> | THe biggest advantage IMO is ADTs, pattern matching, and purity... |
| 2025-11-07 11:05:37 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:6026:a3ff:fe87:99d9) (Ping timeout: 260 seconds) |
| 2025-11-07 11:04:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 11:04:29 +0100 | <lortabac> | maybe 90% fun and 10% effectiveness? |
| 2025-11-07 11:04:06 +0100 | <kuribas> | It's mostly fun. |
| 2025-11-07 11:04:02 +0100 | <kuribas> | Sometimes I wonder if all these abstractions really make programs easier and more robust. |
| 2025-11-07 11:03:34 +0100 | <lortabac> | I have the impression that I spend most of my life opting out of things. I wished stupid warnings wasn't part of that |
| 2025-11-07 11:02:50 +0100 | <lambdabot> | forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Alt f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2025-11-07 11:02:48 +0100 | <Leary> | :t \f -> getAlt . foldMap (Alt . f) |
| 2025-11-07 11:02:40 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-07 11:02:37 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-07 11:01:22 +0100 | <lambdabot> | Foldable t => (a1 -> Maybe a2) -> t a1 -> Maybe a2 |
| 2025-11-07 11:01:21 +0100 | <Leary> | :t \f -> getFirst . foldMap (First . f) |
| 2025-11-07 11:01:17 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-07 11:01:17 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:9f27:6026:a3ff:fe87:99d9) |
| 2025-11-07 10:58:17 +0100 | <lortabac> | not shorter but a little less exotic than 'asum' |
| 2025-11-07 10:57:58 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-07 10:57:54 +0100 | <lortabac> | kuribas: listToMaybe (mapMaybe (\x -> ...) elems) |