Logs: liberachat/#haskell
| 2025-10-16 21:06:37 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-16 21:12:25 | → | Psychotic1 joins (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) |
| 2025-10-16 21:12:26 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-10-16 21:13:10 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 21:15:37 | → | kukimik joins (~kukimik@93-159-12-225.cgnat.inetia.pl) |
| 2025-10-16 21:16:11 | Clint_ | is now known as Clint |
| 2025-10-16 21:17:25 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-16 21:17:54 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-16 21:22:59 | trickard_ | is now known as trickard |
| 2025-10-16 21:27:22 | → | Zemy joins (~Zemy@76.184.41.21) |
| 2025-10-16 21:29:44 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-10-16 21:30:39 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-16 21:32:16 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-16 21:34:09 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-10-16 21:35:43 | → | bggd joins (~bgg@2a01:e0a:819:1510:8541:de44:31ff:4da2) |
| 2025-10-16 21:49:10 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-16 21:49:14 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-16 21:49:33 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-16 21:51:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 21:51:55 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2025-10-16 21:53:38 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-10-16 21:53:46 | gehmehgeh | is now known as gmg |
| 2025-10-16 21:57:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-16 21:58:25 | ← | kukimik parts (~kukimik@93-159-12-225.cgnat.inetia.pl) () |
| 2025-10-16 22:07:02 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-16 22:08:30 | × | synchromesh quits (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) (Read error: Connection reset by peer) |
| 2025-10-16 22:08:56 | × | omnifunctor quits (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-16 22:08:56 | × | semifunctor quits (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-16 22:09:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 22:10:02 | → | synchromesh joins (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) |
| 2025-10-16 22:10:24 | → | semifunctor joins (~omnifunct@user/semifunctor) |
| 2025-10-16 22:10:53 | → | omnifunctor joins (~omnifunct@user/semifunctor) |
| 2025-10-16 22:14:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-16 22:18:07 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-10-16 22:20:43 | <dcpagan> | I cannot use a monoid instance of (Ord a) => Max (Maybe a) |
| 2025-10-16 22:21:07 | <dcpagan> | The following monoid instances are defined in the standard library: |
| 2025-10-16 22:21:10 | <dcpagan> | instance (Ord a, Bounded a) => Monoid (Max a) |
| 2025-10-16 22:21:35 | <dcpagan> | instance Semigroup a => Monoid (Maybe a) |
| 2025-10-16 22:22:03 | <dcpagan> | instance Ord a => Semigroup (Max a) |
| 2025-10-16 22:22:48 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-16 22:23:41 | <dcpagan> | This is the type error I'm getting: "Could not deduce (Bounded (Maybe Int))" |
| 2025-10-16 22:24:35 | <monochrom> | IIUC that just means you have a Semigroup, you just don't have a Monoid. |
| 2025-10-16 22:24:57 | <dcpagan> | Here's the code with the type error: "fromMaybe 0 . getMax . foldMap (Max . Just . length)" |
| 2025-10-16 22:25:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 22:25:23 | <dcpagan> | I imported Data.Semigroup and Data.Monoid. |
| 2025-10-16 22:26:00 | <dolio> | I think you might want `Maybe (Max a)` |
| 2025-10-16 22:26:29 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-16 22:27:05 | <dolio> | `Max a` is the semigroup taking the maximum in `a`, and then `Maybe` adds a unit to a semigroup. |
| 2025-10-16 22:28:14 | <dcpagan> | Oh, I see it. Transposing Max and Just works. |
| 2025-10-16 22:28:31 | <dolio> | Technically the `(Ord a, Bounded a) => Monoid (Max a)` only needs one bound, but the classes aren't that refined. |
| 2025-10-16 22:28:47 | <dcpagan> | I saw other monoids in Data.Monoid that wrapped a Maybe, like First and Last. |
| 2025-10-16 22:29:17 | <dcpagan> | MinBounded and MaxBounded type classes would be nice. |
| 2025-10-16 22:29:24 | <dcpagan> | Natural has a minBound, but no maxBound. |
| 2025-10-16 22:29:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-16 22:30:13 | <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-16 22:30:30 | <dolio> | They were written before Semigroup existed as a class. |
| 2025-10-16 22:34:56 | <geekosaur> | weren't some others rewritten, though? |
| 2025-10-16 22:35:23 | <dolio> | Dunno. I kind of thought Min/Max were the same way, so maybe they were changed. |
| 2025-10-16 22:35:27 | → | gustrb joins (~gustrb@200.132.2.8) |
| 2025-10-16 22:35:34 | <dolio> | I don't know why only some would have been fixed, though. |
| 2025-10-16 22:36:29 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-16 22:37:20 | → | AlexZenon_2 joins (~alzenon@85.174.180.124) |
| 2025-10-16 22:37:31 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 2025-10-16 22:38:27 | mesaoptimizer0 | is now known as mesaoptimizer |
| 2025-10-16 22:38:27 | × | AlexZenon quits (~alzenon@85.174.180.124) (Read error: Connection reset by peer) |
| 2025-10-16 22:40:39 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 2025-10-16 22:40:39 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2025-10-16 22:41:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 22:41:02 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Client Quit) |
| 2025-10-16 22:41:42 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-10-16 22:43:08 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-16 22:44:10 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-16 22:45:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-16 22:46:55 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-10-16 22:48:04 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-16 22:48:46 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-10-16 22:51:06 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-16 22:55:19 | × | Psychotic1 quits (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Quit: Leaving) |
| 2025-10-16 22:55:45 | → | Psychotic1 joins (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) |
| 2025-10-16 22:56:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 22:59:19 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-16 23:01:25 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-16 23:01:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-16 23:03:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-16 23:06:31 | → | karenw_ joins (~karenw@user/karenw) |
| 2025-10-16 23:09:55 | × | n0um3n4 quits (~n0um3n4@104.28.199.133) (Remote host closed the connection) |
| 2025-10-16 23:12:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 23:17:00 | × | xff0x quits (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 245 seconds) |
| 2025-10-16 23:17:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-16 23:21:12 | → | n0um3n4 joins (~n0um3n4@104.28.199.133) |
| 2025-10-16 23:28:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 23:31:52 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-16 23:32:14 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-16 23:34:29 | × | Zemy quits (~Zemy@76.184.41.21) (Ping timeout: 256 seconds) |
| 2025-10-16 23:35:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-16 23:35:54 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-10-16 23:35:55 | yegor_ | is now known as yegor |
| 2025-10-16 23:36:58 | Googulator42 | is now known as Googulator |
| 2025-10-16 23:40:09 | → | xff0x joins (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) |
| 2025-10-16 23:40:13 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.