Newest at the top
2025-10-15 11:14:52 +0200 | chele | (~chele@user/chele) chele |
2025-10-15 11:14:19 +0200 | <tomsmeding> | not saying that ApplicativeDo is perfect, but I think in this case it's correct |
2025-10-15 11:10:37 +0200 | inline | (~inline@2a02:8071:57a1:1260:141f:e122:6bd3:e75) (Ping timeout: 246 seconds) |
2025-10-15 11:06:06 +0200 | <mreh> | silly me |
2025-10-15 11:05:50 +0200 | <mreh> | tomsmeding: I guess it can't, right? |
2025-10-15 11:05:25 +0200 | <tomsmeding> | mreh: if it's `bar x`, how would you want that to be converted to applicative syntax? |
2025-10-15 11:02:17 +0200 | <mreh> | actually, I've got something like `bar x` going on... so many that precludes ApplicativeDo |
2025-10-15 11:00:48 +0200 | <mreh> | do { x <- foo; y <- (runA $ do { z <- bar; w <- baz; return (f z w) }); return y } -- I've got this kind of situation going on. |
2025-10-15 10:59:17 +0200 | <mreh> | is it not possible to mix ApplicativeDo syntax in with normal do syntax or something? |
2025-10-15 10:57:27 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 260 seconds) |
2025-10-15 10:50:03 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
2025-10-15 10:44:10 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 255 seconds) |
2025-10-15 10:37:46 +0200 | kuribas | (~user@2a02:1808:cf:aa1d:ef86:5cf9:5b01:47e7) (Ping timeout: 248 seconds) |
2025-10-15 10:35:59 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2025-10-15 10:33:04 +0200 | halloy7365 | (~halloy736@2404:4400:5446:4e00:b445:d572:a953:7834) |
2025-10-15 10:32:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 10:28:32 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-10-15 10:21:23 +0200 | annamalai | (~annamalai@157.32.214.152) annamalai |
2025-10-15 10:20:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-15 10:20:34 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-10-15 10:15:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 10:15:13 +0200 | irfan | (~irfan@user/irfan) irfan |
2025-10-15 10:10:57 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-10-15 10:08:14 +0200 | kuribas | (~user@2a02:1808:cf:aa1d:ef86:5cf9:5b01:47e7) kuribas |
2025-10-15 10:06:37 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
2025-10-15 10:02:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 09:59:56 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
2025-10-15 09:57:14 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 248 seconds) |
2025-10-15 09:51:50 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-10-15 09:50:27 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-10-15 09:49:19 +0200 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
2025-10-15 09:48:41 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
2025-10-15 09:47:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-10-15 09:45:30 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 09:37:55 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-10-15 09:34:13 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
2025-10-15 09:29:42 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 09:23:26 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-10-15 09:17:27 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-10-15 09:16:48 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-10-15 09:12:54 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 09:11:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
2025-10-15 09:11:10 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-10-15 09:10:36 +0200 | karenw | (~karenw@user/karenw) karenw |
2025-10-15 09:10:16 +0200 | jreicher | (~user@user/jreicher) (Quit: brb) |
2025-10-15 09:04:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-10-15 09:04:17 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-10-15 09:04:03 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
2025-10-15 09:04:03 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-15 09:01:40 +0200 | <fgidim> | huh, i guess lambdabot really does turn functions tacit. cool |