IRCBrowse

2026/03/09

Newest at the top

2026-03-09 10:10:58 +0100 <merijn> __monty__: Which, if you don't realise the monoid on functions is confusing
2026-03-09 10:10:40 +0100 <merijn> __monty__: No, his question is why is it correct at all :p
2026-03-09 10:10:20 +0100 <merijn> best monoit instance ever
2026-03-09 10:10:19 +0100 <__monty__> Were you expecting a different result? Because `mappend mempty (Sum 3) = Sum 3` too.
2026-03-09 10:08:22 +0100 <lambdabot> Num t => Sum t
2026-03-09 10:08:21 +0100 <mesaoptimizer> :t mappend mempty Sum 3
2026-03-09 10:08:15 +0100 <lambdabot> Num a => a -> Sum a
2026-03-09 10:08:14 +0100 <mesaoptimizer> :t mappend mempty Sum
2026-03-09 10:08:07 +0100 <lambdabot> Monoid a => a -> a
2026-03-09 10:08:06 +0100 <mesaoptimizer> :t mappend mempty
2026-03-09 10:07:59 +0100 <lambdabot> Monoid a => a -> a -> a
2026-03-09 10:07:58 +0100 <mesaoptimizer> :t mappend
2026-03-09 10:06:35 +0100 <castan> I see now, thank you
2026-03-09 10:05:42 +0100 <castan> Oh hahahha
2026-03-09 10:05:39 +0100 <lambdabot> Monoid a => a -> a
2026-03-09 10:05:38 +0100 <probie> :t (mappend mempty)
2026-03-09 10:05:22 +0100 <lambdabot> Num a => a -> Sum a
2026-03-09 10:05:21 +0100 <probie> :t mappend mempty Sum
2026-03-09 10:05:04 +0100 <Leary> One key detail here being `Monoid b => Monoid (a -> b)`.
2026-03-09 10:04:42 +0100 <Leary> castan: It doesn't get /parsed/ as that; that's what it equals. `mappend mempty x = x` ==> `mappend mempty Sum = Sum` ==> `mappend mempty Sum 3 = Sum 3`.
2026-03-09 10:04:35 +0100 <probie> None
2026-03-09 10:03:08 +0100loungerry_(~loungerry@150.241.86.78) (Remote host closed the connection)
2026-03-09 10:02:24 +0100czan(~czan@user/mange) czan
2026-03-09 10:01:50 +0100 <castan> Hi. Can someone help me understand what sorcery makes `mappend mempty Sum 3` get parsed as `mappend mempty (Sum 3)`
2026-03-09 09:57:31 +0100__monty__(~toonn@user/toonn) toonn
2026-03-09 09:55:40 +0100castan(~castan@2a02:2f0f:8210:d800:1625:20a6:66c:b041)
2026-03-09 09:52:40 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-03-09 09:52:21 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-09 09:52:21 +0100arandombit(~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host)
2026-03-09 09:52:21 +0100arandombit(~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052)
2026-03-09 09:52:18 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-03-09 09:49:48 +0100chele(~chele@user/chele) chele
2026-03-09 09:46:23 +0100emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-03-09 09:45:45 +0100akegalj(~akegalj@246-221.dsl.iskon.hr) akegalj
2026-03-09 09:42:00 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-03-09 09:41:49 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-03-09 09:38:26 +0100vgtw(~vgtw@user/vgtw) (Ping timeout: 252 seconds)
2026-03-09 09:38:09 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2026-03-09 09:37:15 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 272 seconds)
2026-03-09 09:31:59 +0100arthurvl(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 245 seconds)
2026-03-09 09:29:53 +0100merijn(~merijn@77.242.116.146) merijn
2026-03-09 09:25:38 +0100prdak(~Thunderbi@user/prdak) prdak
2026-03-09 09:25:08 +0100prdak(~Thunderbi@user/prdak) (Remote host closed the connection)
2026-03-09 09:22:31 +0100prdak(~Thunderbi@user/prdak) prdak
2026-03-09 09:20:18 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds)
2026-03-09 09:18:44 +0100ft(~ft@p4fc2a98c.dip0.t-ipconnect.de) (Quit: leaving)
2026-03-09 09:02:00 +0100tzh_(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-03-09 09:00:56 +0100jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2026-03-09 08:53:33 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-03-09 08:47:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)