Newest at the top
| 2025-11-07 21:20:29 +0100 | <tomsmeding> | Leary: it doesn't seem possible to write a generic adaptor for two-result functions like my original 'foo' to one-result functions, right? |
| 2025-11-07 21:20:24 +0100 | [exa] | discovers QualifiedDo |
| 2025-11-07 21:19:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 21:17:49 +0100 | Googulator11 | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-07 21:14:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 21:13:03 +0100 | Googulator34 | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-07 21:12:03 +0100 | <EvanR> | how I learned to stop worrying and love ImpredicativeTypes |
| 2025-11-07 21:11:46 +0100 | <monochrom> | heh |
| 2025-11-07 21:11:45 +0100 | <tomsmeding> | what makes it better is that that type for >>= is completely different from what >>= is normally supposed to be |
| 2025-11-07 21:11:28 +0100 | <EvanR> | because of that I'm now using ImpredicativeTypes everywhere |
| 2025-11-07 21:10:50 +0100 | Googulator11 | (~Googulato@team.broadbit.hu) |
| 2025-11-07 21:10:44 +0100 | Googulator13 | (~Googulato@team.broadbit.hu) (Client Quit) |
| 2025-11-07 21:10:20 +0100 | <monochrom> | Intreresting |
| 2025-11-07 21:10:05 +0100 | <tomsmeding> | oh that's delightful |
| 2025-11-07 21:09:27 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-11-07 21:09:09 +0100 | <Leary> | tomsmeding: https://paste.tomsmeding.com/phEkL7cc |
| 2025-11-07 21:09:09 +0100 | Googulator53 | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-07 21:09:08 +0100 | Googulator13 | (~Googulato@team.broadbit.hu) |
| 2025-11-07 21:05:55 +0100 | Googulator34 | (~Googulato@team.broadbit.hu) |
| 2025-11-07 21:05:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 21:03:33 +0100 | <monochrom> | err no, Codensity does forall on the other guy. |
| 2025-11-07 21:03:15 +0100 | <monochrom> | Yeah the forall may require Codensity. |
| 2025-11-07 21:02:41 +0100 | <tomsmeding> | the problem is the existential |
| 2025-11-07 21:02:39 +0100 | <glguy> | uncurry it to get back to one |
| 2025-11-07 21:02:38 +0100 | <tomsmeding> | monochrom: I think that's not the biggest problem there -- you can just use a tuple |
| 2025-11-07 21:02:28 +0100 | <monochrom> | "now there are two of them!" </phantom menace> |
| 2025-11-07 21:02:07 +0100 | <monochrom> | onoes there are 2 arguments! |
| 2025-11-07 21:01:41 +0100 | <EvanR> | It's a monad. I know this. </jurassicpark> |
| 2025-11-07 21:01:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 21:00:38 +0100 | yauhsien | (~Yau-Hsien@118-168-140-77.dynamic-ip.hinet.net) yauhsien |
| 2025-11-07 20:59:10 +0100 | <monochrom> | Nice, I'll work with that. |
| 2025-11-07 20:58:43 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-07 20:58:43 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-11-07 20:58:43 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-11-07 20:58:29 +0100 | <tomsmeding> | monochrom: can you write this with some monad trick? https://play.haskell.org/saved/REvWXlQd |
| 2025-11-07 20:56:56 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-07 20:56:02 +0100 | <tomsmeding> | pls teach me |
| 2025-11-07 20:55:55 +0100 | <tomsmeding> | monochrom: does ContT really work? |
| 2025-11-07 20:55:35 +0100 | <monochrom> | Another way (mostly to appease other people's rigid style guides) is to use ContT or Codensity, then it's just a do-block. :) |
| 2025-11-07 20:54:39 +0100 | <tomsmeding> | yep, that's exactly what I ended up doing |
| 2025-11-07 20:54:24 +0100 | <monochrom> | I would consider not indenting. E.g., line n column k: "foo \i ->", line (n+1) column k: "bar \j ->", line (n+2) column k: "x y z i j" |
| 2025-11-07 20:51:03 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-11-07 20:50:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 20:50:12 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-07 20:49:19 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-07 20:47:09 +0100 | biberu | (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2025-11-07 20:45:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 20:34:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-07 20:29:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 20:27:03 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |