Newest at the top
2024-05-24 09:11:31 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-24 09:08:57 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) |
2024-05-24 09:05:05 +0200 | Vajb | (~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi) |
2024-05-24 09:04:47 +0200 | <[exa]> | does anyone know if there are haskell libraries/examples of this kind of relative monads? |
2024-05-24 09:04:36 +0200 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
2024-05-24 09:04:11 +0200 | <[exa]> | Anyway, I just spotted this here with "relative monads", apparently a little more general than arrows and seems to me very interpreter-related: https://link.springer.com/chapter/10.1007/978-3-642-12032-9_21 |
2024-05-24 09:02:46 +0200 | <[exa]> | Axman6: left leaning red black trees? |
2024-05-24 09:01:50 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
2024-05-24 09:01:50 +0200 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host) |
2024-05-24 09:01:50 +0200 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) |
2024-05-24 09:00:58 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-24 09:00:27 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-24 08:59:50 +0200 | <Axman6> | Hmm, looks close, but I don't remember there being any use of or-patterns. But maybe I am just remembering `balance` on page 4 |
2024-05-24 08:53:27 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-24 08:50:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-24 08:50:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2024-05-24 08:48:39 +0200 | <opqdonut> | this? https://www.cs.tufts.edu/comp/150FP/archive/chris-okasaki/redblack99.pdf |
2024-05-24 08:48:35 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
2024-05-24 08:46:40 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
2024-05-24 08:46:24 +0200 | <Axman6> | maybe it was red-black trees. Either way, I can't find it :'( |
2024-05-24 08:43:50 +0200 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) |
2024-05-24 08:43:38 +0200 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
2024-05-24 08:40:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-24 08:38:26 +0200 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
2024-05-24 08:35:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-24 08:33:41 +0200 | Vajb | (~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) |
2024-05-24 08:32:46 +0200 | <Axman6> | I remember there being a really nice way to express AVL(I think) tree rotations with a single function which took four arguments, and depending on which invariant you were fixing would determine which four arguments it needed... I wonder if I can find that again |
2024-05-24 08:32:32 +0200 | Vajb | (~Vajb@n4vou9ek39qavu5bn5s-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
2024-05-24 08:26:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-05-24 08:05:17 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Ping timeout: 240 seconds) |
2024-05-24 08:03:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-05-24 08:00:27 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-05-24 07:58:55 +0200 | acidjnk | (~acidjnk@p200300d6e714dc37e07d2cee841a38ab.dip0.t-ipconnect.de) |
2024-05-24 07:52:07 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-24 07:46:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-24 07:44:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-24 07:44:06 +0200 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-24 07:41:53 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-24 07:39:00 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
2024-05-24 07:34:23 +0200 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) |
2024-05-24 07:34:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2024-05-24 07:33:37 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-24 07:30:12 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-24 07:27:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-24 07:27:17 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-05-24 07:20:47 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2024-05-24 07:18:01 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-24 07:14:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-05-24 07:05:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-24 07:05:05 +0200 | euleritian | (~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |