Newest at the top
2025-08-08 21:47:34 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-08-08 21:46:12 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp) |
2025-08-08 21:38:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-08 21:34:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-08 21:26:07 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2025-08-08 21:25:54 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Server closed connection) |
2025-08-08 21:24:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-08 21:24:21 +0200 | <jcarpenter2> | really appreciate all your insight |
2025-08-08 21:21:24 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
2025-08-08 21:19:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-08 21:18:24 +0200 | MudEater85 | (~MudEater@102.219.153.100) (Quit: Client closed) |
2025-08-08 21:10:44 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-08 21:08:28 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 240 seconds) |
2025-08-08 21:08:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-08 21:06:59 +0200 | MudEater85 | (~MudEater@102.219.153.100) |
2025-08-08 21:05:47 +0200 | <jcarpenter2> | (well, except in one place where I actually do want *every* successful computation in a list, not just the first one) |
2025-08-08 21:04:39 +0200 | <jcarpenter2> | I understand this a lot better, and found a way to refactor my code so that I don't need to evaluate and re-form the MaybeT transformer |
2025-08-08 21:04:32 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-08-08 21:04:06 +0200 | <jcarpenter2> | okay, thanks guys! |
2025-08-08 21:01:26 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-08-08 21:01:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-08 21:00:43 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-08 21:00:04 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-08 20:59:01 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds) |
2025-08-08 20:58:59 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-08-08 20:58:41 +0200 | sprotte24 | (~sprotte24@p200300d16f43d300b160c6115250e1c1.dip0.t-ipconnect.de) |
2025-08-08 20:57:12 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-08-08 20:53:44 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-08-08 20:53:36 +0200 | phma | (phma@2001:5b0:210d:1aa8:aefa:72b1:7a70:bfa2) |
2025-08-08 20:51:37 +0200 | phma | (~phma@host-67-44-208-41.hnremote.net) (Read error: Connection reset by peer) |
2025-08-08 20:50:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-08 20:45:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-08 20:44:11 +0200 | <c_wraith> | that's actually kind of a cute trick |
2025-08-08 20:43:43 +0200 | <c_wraith> | Oh right. MaybeT smuggles a monad requirement in |
2025-08-08 20:43:16 +0200 | <lambdabot> | Variable not in scope: runMaybeT :: Maybe [Int] -> t |
2025-08-08 20:43:16 +0200 | <lambdabot> | error: |
2025-08-08 20:43:15 +0200 | <monochrom> | > runMaybeT $ traverse id ((Nothing :: Maybe Int): undefined) |
2025-08-08 20:43:03 +0200 | <lambdabot> | Variable not in scope: runMaybeT :: Maybe [b0] -> t |
2025-08-08 20:43:03 +0200 | <lambdabot> | error: |
2025-08-08 20:43:02 +0200 | <monochrom> | > runMaybeT $ traverse id (Nothing : undefined) |
2025-08-08 20:42:37 +0200 | <int-e> | the whole recursive `traverse id undefined` is never touched |
2025-08-08 20:42:22 +0200 | <int-e> | it still evaluates to `Nothing` |
2025-08-08 20:41:58 +0200 | <c_wraith> | that's the part traverse can't escape |
2025-08-08 20:41:39 +0200 | <c_wraith> | but what about when you give it (empty:undefined) as an argument? |
2025-08-08 20:41:01 +0200 | <int-e> | with enough defaulting that would evaluate to `Nothing` |
2025-08-08 20:40:31 +0200 | <lambdabot> | Undefined. |
2025-08-08 20:40:31 +0200 | <int-e> | @undef |
2025-08-08 20:40:22 +0200 | <int-e> | meh |
2025-08-08 20:40:17 +0200 | <lambdabot> | ‘b0’ arising from a use of ‘show_M38876083433... |
2025-08-08 20:40:16 +0200 | <lambdabot> | • Ambiguous type variables ‘m0’, |