| 2025-10-17 00:07:02 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-17 00:08:30 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) (Read error: Connection reset by peer) |
| 2025-10-17 00:08:56 +0200 | omnifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-17 00:08:56 +0200 | semifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-17 00:09:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:10:02 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh |
| 2025-10-17 00:10:24 +0200 | semifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2025-10-17 00:10:53 +0200 | omnifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2025-10-17 00:14:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 00:18:07 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-17 00:20:43 +0200 | <dcpagan> | I cannot use a monoid instance of (Ord a) => Max (Maybe a) |
| 2025-10-17 00:21:07 +0200 | <dcpagan> | The following monoid instances are defined in the standard library: |
| 2025-10-17 00:21:10 +0200 | <dcpagan> | instance (Ord a, Bounded a) => Monoid (Max a) |
| 2025-10-17 00:21:35 +0200 | <dcpagan> | instance Semigroup a => Monoid (Maybe a) |
| 2025-10-17 00:22:03 +0200 | <dcpagan> | instance Ord a => Semigroup (Max a) |
| 2025-10-17 00:22:48 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-17 00:23:41 +0200 | <dcpagan> | This is the type error I'm getting: "Could not deduce (Bounded (Maybe Int))" |
| 2025-10-17 00:24:35 +0200 | <monochrom> | IIUC that just means you have a Semigroup, you just don't have a Monoid. |
| 2025-10-17 00:24:57 +0200 | <dcpagan> | Here's the code with the type error: "fromMaybe 0 . getMax . foldMap (Max . Just . length)" |
| 2025-10-17 00:25:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:25:23 +0200 | <dcpagan> | I imported Data.Semigroup and Data.Monoid. |
| 2025-10-17 00:26:00 +0200 | <dolio> | I think you might want `Maybe (Max a)` |
| 2025-10-17 00:26:29 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-17 00:27:05 +0200 | <dolio> | `Max a` is the semigroup taking the maximum in `a`, and then `Maybe` adds a unit to a semigroup. |
| 2025-10-17 00:28:14 +0200 | <dcpagan> | Oh, I see it. Transposing Max and Just works. |
| 2025-10-17 00:28:31 +0200 | <dolio> | Technically the `(Ord a, Bounded a) => Monoid (Max a)` only needs one bound, but the classes aren't that refined. |
| 2025-10-17 00:28:47 +0200 | <dcpagan> | I saw other monoids in Data.Monoid that wrapped a Maybe, like First and Last. |
| 2025-10-17 00:29:17 +0200 | <dcpagan> | MinBounded and MaxBounded type classes would be nice. |
| 2025-10-17 00:29:24 +0200 | <dcpagan> | Natural has a minBound, but no maxBound. |
| 2025-10-17 00:29:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 00:30:13 +0200 | <dolio> | Yeah, First/Last could be reworked to be semigroups without the Maybe, but probably no one cares enough to fix the historical design. |
| 2025-10-17 00:30:30 +0200 | <dolio> | They were written before Semigroup existed as a class. |
| 2025-10-17 00:34:56 +0200 | <geekosaur> | weren't some others rewritten, though? |
| 2025-10-17 00:35:23 +0200 | <dolio> | Dunno. I kind of thought Min/Max were the same way, so maybe they were changed. |
| 2025-10-17 00:35:27 +0200 | gustrb | (~gustrb@200.132.2.8) |
| 2025-10-17 00:35:34 +0200 | <dolio> | I don't know why only some would have been fixed, though. |
| 2025-10-17 00:36:29 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 00:37:20 +0200 | AlexZenon_2 | (~alzenon@85.174.180.124) |
| 2025-10-17 00:37:31 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-17 00:38:27 +0200 | mesaoptimizer0 | mesaoptimizer |
| 2025-10-17 00:38:27 +0200 | AlexZenon | (~alzenon@85.174.180.124) (Read error: Connection reset by peer) |
| 2025-10-17 00:40:39 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 2025-10-17 00:40:39 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2025-10-17 00:41:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:41:02 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Client Quit) |
| 2025-10-17 00:41:42 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-10-17 00:43:08 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 00:44:10 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 00:45:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 00:46:55 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-17 00:48:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-17 00:48:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-17 00:51:06 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 00:55:19 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Quit: Leaving) |
| 2025-10-17 00:55:45 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) |
| 2025-10-17 00:56:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:59:19 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-17 01:01:25 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 01:01:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 01:03:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-17 01:06:31 +0200 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-10-17 01:09:55 +0200 | n0um3n4 | (~n0um3n4@104.28.199.133) (Remote host closed the connection) |
| 2025-10-17 01:12:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 01:17:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 245 seconds) |
| 2025-10-17 01:17:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 01:21:12 +0200 | n0um3n4 | (~n0um3n4@104.28.199.133) |
| 2025-10-17 01:28:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 01:31:52 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-17 01:32:14 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 01:34:29 +0200 | Zemy | (~Zemy@76.184.41.21) (Ping timeout: 256 seconds) |
| 2025-10-17 01:35:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 01:35:54 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-10-17 01:35:55 +0200 | yegor_ | yegor |
| 2025-10-17 01:36:58 +0200 | Googulator42 | Googulator |
| 2025-10-17 01:40:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) |
| 2025-10-17 01:40:13 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 01:43:02 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 01:46:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 01:47:37 +0200 | acidjnk | (~acidjnk@p200300d6e71719750129677a31b7bc88.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-10-17 01:54:37 +0200 | gustrb | (~gustrb@200.132.2.8) (Ping timeout: 246 seconds) |
| 2025-10-17 01:55:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 01:58:55 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-17 02:06:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 02:07:02 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 02:10:22 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-17 02:11:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 02:11:47 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-10-17 02:14:50 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-10-17 02:15:32 +0200 | zfnmxt | (~m-gkkevi@user/zfnmxt) (Remote host closed the connection) |
| 2025-10-17 02:16:06 +0200 | Zemy | (~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc) |
| 2025-10-17 02:16:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-17 02:18:34 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 02:18:43 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 02:20:14 +0200 | zfnmxt | (~m-gkkevi@209.209.10.107) |
| 2025-10-17 02:20:28 +0200 | divya | (divya@140.238.251.170) divya |
| 2025-10-17 02:20:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
| 2025-10-17 02:22:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 02:24:55 +0200 | zfnmxt | (~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds) |
| 2025-10-17 02:25:30 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Ping timeout: 248 seconds) |
| 2025-10-17 02:26:37 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2025-10-17 02:27:44 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 02:27:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 02:29:01 +0200 | gustrb | (~gustrb@200.132.2.8) |
| 2025-10-17 02:30:51 +0200 | zfnmxt | (~m-gkkevi@209.209.10.107) |
| 2025-10-17 02:34:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-10-17 02:35:41 +0200 | zfnmxt | (~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds) |
| 2025-10-17 02:38:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 02:39:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-10-17 02:43:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 02:45:32 +0200 | otto_s_ | (~user@p4ff27814.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-10-17 02:47:18 +0200 | otto_s | (~user@p5de2f2fc.dip0.t-ipconnect.de) |
| 2025-10-17 02:54:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 02:54:49 +0200 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-10-17 02:55:23 +0200 | Square | (~Square4@user/square) Square |
| 2025-10-17 02:57:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 248 seconds) |
| 2025-10-17 02:59:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 03:00:07 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-17 03:05:43 +0200 | FANTOM | (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 2025-10-17 03:09:38 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-17 03:09:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 03:10:02 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 03:13:05 +0200 | gustrb | (~gustrb@200.132.2.8) (Ping timeout: 256 seconds) |
| 2025-10-17 03:14:56 +0200 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2025-10-17 03:15:20 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-10-17 03:16:01 +0200 | FANTOM | (~fantom@90.244.168.178) |
| 2025-10-17 03:16:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 03:18:25 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-17 03:18:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-17 03:19:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-17 03:20:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 03:20:13 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-17 03:20:43 +0200 | zfnmxt | (~m-gkkevi@209.209.10.107) |
| 2025-10-17 03:24:10 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 248 seconds) |
| 2025-10-17 03:24:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 03:28:46 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 03:33:14 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-17 03:35:11 +0200 | <jackdk> | dolio: Apparently that work ran into roadblocks and is not planned any more: https://gitlab.haskell.org/ghc/ghc/-/issues/15028. This libraries@ post lists the main problems: https://mail.haskell.org/pipermail/libraries/2020-April/030357.html . Most seem fixable, but the syntactic noise seems really annoying and the strictness change more fundamentally difficult. |
| 2025-10-17 03:35:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 03:38:08 +0200 | trickard_ | trickard |
| 2025-10-17 03:40:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 03:51:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 03:54:43 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 03:56:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 04:06:42 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-17 04:07:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 04:12:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 04:20:19 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |