Newest at the top
| 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) |
| 2025-11-07 10:57:49 +0100 | <kuribas> | Leary: but I'll still need to map. |
| 2025-11-07 10:57:16 +0100 | <kuribas> | Leary: find isJust ? |
| 2025-11-07 10:57:02 +0100 | <__monty__> | It's slightly annoying when you have to litter the codebase with comments to disable lints. |
| 2025-11-07 10:56:51 +0100 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Maybe a |
| 2025-11-07 10:56:50 +0100 | <kuribas> | :t find |
| 2025-11-07 10:55:29 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-11-07 10:55:15 +0100 | <Leary> | Also, linter defaults are just defaults. You're supposed to configure away the hints you don't care for. |
| 2025-11-07 10:54:20 +0100 | <__monty__> | Maybe it's a matter of reducing your use of the linting tool rather? |
| 2025-11-07 10:53:32 +0100 | <Leary> | kuribas: `find` |
| 2025-11-07 10:53:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 10:52:29 +0100 | <kuribas> | __monty__: yes, lazyness. |
| 2025-11-07 10:52:17 +0100 | <kuribas> | lortabac: right, that one |
| 2025-11-07 10:52:00 +0100 | <__monty__> | It's an optimization, I don't think single-constructor data has any advantages over newtype? |
| 2025-11-07 10:50:59 +0100 | <lortabac> | I don't see why this warning exists |
| 2025-11-07 10:50:49 +0100 | <lortabac> | there is no way I can accidentally mix up newtype and data |
| 2025-11-07 10:50:47 +0100 | <__monty__> | Yeah, seems like personal preference to me. |
| 2025-11-07 10:50:34 +0100 | <lortabac> | the most annoying one for me is "Use newtype instead of data" |
| 2025-11-07 10:50:25 +0100 | <kuribas> | Is there a shorter way to say asum (map (\x -> ...maybe...) elems) |
| 2025-11-07 10:47:54 +0100 | <kuribas> | "lookup () = Just" is more obfuscated |
| 2025-11-07 10:47:45 +0100 | <kuribas> | Man, linter suggestions are sometimes plain bad: eta reduce lookup () x = Just x |
| 2025-11-07 10:46:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 10:36:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 10:33:13 +0100 | acidjnk | (~acidjnk@2003:d6:e717:1922:4028:f2f:de8c:479) acidjnk |
| 2025-11-07 10:32:40 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-07 10:31:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 10:26:32 +0100 | kuribas | (~user@2a02:1808:d1:be31:ac10:dd83:cea2:1717) kuribas |
| 2025-11-07 10:23:01 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-07 10:20:13 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 246 seconds) |
| 2025-11-07 10:19:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 10:19:10 +0100 | myxos | (~myxos@2001:579:8380:f20:469a:adbb:d673:fb5b) (Ping timeout: 246 seconds) |
| 2025-11-07 10:16:45 +0100 | myxokephale | (~myxos@2001:579:8380:f20:f473:5072:5243:c7a6) myxokephale |
| 2025-11-07 10:15:40 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 10:15:28 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-07 10:15:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |