Newest at the top
| 2025-12-28 11:17:27 +0100 | itaipu | (~itaipu@168.121.98.38) itaipu |
| 2025-12-28 11:08:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-28 11:06:56 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-28 11:06:30 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-28 11:05:58 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-28 11:03:08 +0100 | itaipu | (~itaipu@168.121.98.38) (Ping timeout: 244 seconds) |
| 2025-12-28 11:02:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 10:59:00 +0100 | acidjnk | (~acidjnk@p200300d6e7171990e8909c854c213001.dip0.t-ipconnect.de) acidjnk |
| 2025-12-28 10:57:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-28 10:51:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 10:48:35 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-28 10:48:00 +0100 | itaipu | (~itaipu@168.121.98.38) itaipu |
| 2025-12-28 10:40:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-28 10:39:45 +0100 | <hololeap> | really, that whole album is epic. stevie nicks has an incredible unique voice |
| 2025-12-28 10:38:02 +0100 | <hololeap> | I agree |
| 2025-12-28 10:36:53 +0100 | <Hecate> | hololeap: no you're right, let's talk about the things that matter. I love The Chain :D |
| 2025-12-28 10:35:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 10:24:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-28 10:24:49 +0100 | <hololeap> | oops, wrong channel :p |
| 2025-12-28 10:23:27 +0100 | <hololeap> | I get fleetwood mac songs stuck in my head a lot, even though I only really hear them on the radio in stores and such |
| 2025-12-28 10:20:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 10:10:06 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-12-28 10:08:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-28 10:04:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 10:03:44 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-28 10:03:36 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-28 10:02:39 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-28 09:57:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-28 09:52:55 +0100 | <[exa]> | I'll think about it. :D |
| 2025-12-28 09:52:41 +0100 | <[exa]> | still that ain't gonna typecheck the functions there for Apply |
| 2025-12-28 09:52:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 09:52:14 +0100 | <hololeap> | there's some in the monoidal-containers package if you mean making (<>) = Map.unionWith (<>) |
| 2025-12-28 09:50:49 +0100 | <[exa]> | hololeap: kinda wondering if there could be a monoid adaptor for this case, like we have with Sum... could be Keyed or so |
| 2025-12-28 09:41:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-28 09:37:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 09:25:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-28 09:19:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 09:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-28 09:05:33 +0100 | tt1231607 | (~tt1231@75.185.104.199) tt1231 |
| 2025-12-28 09:03:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 09:00:01 +0100 | tt1231607 | (~tt1231@75.185.104.199) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-28 08:58:58 +0100 | <lambdabot> | https://hackage.haskell.org/package/quickcheck-classes -- makes it easy to verify the Apply laws |
| 2025-12-28 08:58:58 +0100 | <hololeap> | @hackage quickcheck-classes -- makes it easy to verify the Apply laws |
| 2025-12-28 08:57:06 +0100 | <hololeap> | anyway, this wasn't really a problem I needed to solve, just an exploration of ideas |
| 2025-12-28 08:56:47 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-12-28 08:55:50 +0100 | <[exa]> | no in this case even `ap` would require the defaults |
| 2025-12-28 08:55:47 +0100 | <hololeap> | just the <*> part of Applicative |
| 2025-12-28 08:55:30 +0100 | <[exa]> | so yeah that would be a (specialized) semigroup |
| 2025-12-28 08:55:26 +0100 | <hololeap> | right, Apply is Applicative sans `pure`, |
| 2025-12-28 08:55:04 +0100 | <[exa]> | hololeap: that can't do applicative though, right? (you'd need a default function and default parameter) |