Newest at the top
| 2025-10-15 11:50:24 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-15 11:39:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-15 11:37:19 +0200 | acidjnk | (~acidjnk@p200300d6e717193448bf8d9923882cf1.dip0.t-ipconnect.de) acidjnk |
| 2025-10-15 11:33:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 11:28:07 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-15 11:22:42 +0200 | arahael | (~wetfoot@user/arahael) (Quit: WeeChat 4.6.3) |
| 2025-10-15 11:20:32 +0200 | craunts79533538 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-15 11:20:25 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
| 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) |