2025/10/17

2025-10-17 00:07:02 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving)
2025-10-17 00:08:30 +0200synchromesh(~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) (Read error: Connection reset by peer)
2025-10-17 00:08:56 +0200omnifunctor(~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-10-17 00:08:56 +0200semifunctor(~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-10-17 00:09:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 00:10:02 +0200synchromesh(~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh
2025-10-17 00:10:24 +0200semifunctor(~omnifunct@user/semifunctor) omnifunctor
2025-10-17 00:10:53 +0200omnifunctor(~omnifunct@user/semifunctor) omnifunctor
2025-10-17 00:14:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 00:18:07 +0200emmanuelux(~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 +0200CiaoSen(~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 +0200merijn(~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 +0200target_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 +0200merijn(~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 +0200gustrb(~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 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-17 00:37:20 +0200AlexZenon_2(~alzenon@85.174.180.124)
2025-10-17 00:37:31 +0200emmanuelux_(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-17 00:38:27 +0200mesaoptimizer0mesaoptimizer
2025-10-17 00:38:27 +0200AlexZenon(~alzenon@85.174.180.124) (Read error: Connection reset by peer)
2025-10-17 00:40:39 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds)
2025-10-17 00:40:39 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2025-10-17 00:41:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 00:41:02 +0200emmanuelux_(~emmanuelu@user/emmanuelux) (Client Quit)
2025-10-17 00:41:42 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-10-17 00:43:08 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-17 00:44:10 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds)
2025-10-17 00:45:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-17 00:46:55 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-17 00:48:04 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-10-17 00:48:46 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-17 00:51:06 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 00:55:19 +0200Psychotic1(~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Quit: Leaving)
2025-10-17 00:55:45 +0200Psychotic1(~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a)
2025-10-17 00:56:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 00:59:19 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds)
2025-10-17 01:01:25 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 01:01:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 01:03:45 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-17 01:06:31 +0200karenw_(~karenw@user/karenw) karenw
2025-10-17 01:09:55 +0200n0um3n4(~n0um3n4@104.28.199.133) (Remote host closed the connection)
2025-10-17 01:12:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 01:17:00 +0200xff0x(~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 245 seconds)
2025-10-17 01:17:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 01:21:12 +0200n0um3n4(~n0um3n4@104.28.199.133)
2025-10-17 01:28:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 01:31:52 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-17 01:32:14 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 01:34:29 +0200Zemy(~Zemy@76.184.41.21) (Ping timeout: 256 seconds)
2025-10-17 01:35:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 01:35:54 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2025-10-17 01:35:55 +0200yegor_yegor
2025-10-17 01:36:58 +0200Googulator42Googulator
2025-10-17 01:40:09 +0200xff0x(~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989)
2025-10-17 01:40:13 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 01:43:02 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 01:46:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 01:47:37 +0200acidjnk(~acidjnk@p200300d6e71719750129677a31b7bc88.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-10-17 01:54:37 +0200gustrb(~gustrb@200.132.2.8) (Ping timeout: 246 seconds)
2025-10-17 01:55:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 01:58:55 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-17 02:06:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 02:07:02 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-17 02:10:22 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
2025-10-17 02:11:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 02:11:47 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-10-17 02:14:50 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2025-10-17 02:15:32 +0200zfnmxt(~m-gkkevi@user/zfnmxt) (Remote host closed the connection)
2025-10-17 02:16:06 +0200Zemy(~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc)
2025-10-17 02:16:23 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-17 02:18:34 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds)
2025-10-17 02:18:43 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 02:20:14 +0200zfnmxt(~m-gkkevi@209.209.10.107)
2025-10-17 02:20:28 +0200divya(divya@140.238.251.170) divya
2025-10-17 02:20:44 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 244 seconds)
2025-10-17 02:22:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 02:24:55 +0200zfnmxt(~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds)
2025-10-17 02:25:30 +0200Psychotic1(~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Ping timeout: 248 seconds)
2025-10-17 02:26:37 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds)
2025-10-17 02:27:44 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 02:27:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 02:29:01 +0200gustrb(~gustrb@200.132.2.8)
2025-10-17 02:30:51 +0200zfnmxt(~m-gkkevi@209.209.10.107)
2025-10-17 02:34:52 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2025-10-17 02:35:41 +0200zfnmxt(~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds)
2025-10-17 02:38:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 02:39:39 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2025-10-17 02:43:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 02:45:32 +0200otto_s_(~user@p4ff27814.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-10-17 02:47:18 +0200otto_s(~user@p5de2f2fc.dip0.t-ipconnect.de)
2025-10-17 02:54:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 02:54:49 +0200Square2(~Square@user/square) (Ping timeout: 246 seconds)
2025-10-17 02:55:23 +0200Square(~Square4@user/square) Square
2025-10-17 02:57:30 +0200xff0x(~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 248 seconds)
2025-10-17 02:59:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-17 03:00:07 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-17 03:05:43 +0200FANTOM(~fantom@90.244.183.5) (Ping timeout: 256 seconds)
2025-10-17 03:09:38 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-10-17 03:09:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 03:10:02 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-17 03:13:05 +0200gustrb(~gustrb@200.132.2.8) (Ping timeout: 256 seconds)
2025-10-17 03:14:56 +0200Pixi(~Pixi@user/pixi) (Read error: Connection reset by peer)
2025-10-17 03:15:20 +0200Pixi(~Pixi@user/pixi) Pixi
2025-10-17 03:16:01 +0200FANTOM(~fantom@90.244.168.178)
2025-10-17 03:16:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 03:18:25 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-10-17 03:18:51 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-17 03:19:58 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-10-17 03:20:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 03:20:13 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-17 03:20:43 +0200zfnmxt(~m-gkkevi@209.209.10.107)
2025-10-17 03:24:10 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 248 seconds)
2025-10-17 03:24:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 03:28:46 +0200gustrb(~gustrb@191.243.134.87)
2025-10-17 03:33:14 +0200gustrb(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 03:38:08 +0200trickard_trickard
2025-10-17 03:40:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 03:51:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 03:54:43 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-17 03:56:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 04:06:42 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-10-17 04:07:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 04:12:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 04:20:19 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell