Logs: liberachat/#haskell
| 2025-10-15 06:05:21 | → | Enrico9 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) |
| 2025-10-15 06:07:36 | × | Zemy quits (~Zemy@76.184.41.21) (Ping timeout: 252 seconds) |
| 2025-10-15 06:10:58 | → | ringo__ joins (~ringo@157.230.117.128) |
| 2025-10-15 06:18:55 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-15 06:19:08 | × | hc_ quits (~hc@mail.hce.li) (Remote host closed the connection) |
| 2025-10-15 06:20:08 | → | hc joins (~hc@mail.hce.li) |
| 2025-10-15 06:25:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 06:28:05 | → | Maeda joins (~Maeda@91-161-10-149.subs.proxad.net) |
| 2025-10-15 06:28:58 | <dminuoso> | @tell Square what kind of changes did you make to that flake? |
| 2025-10-15 06:28:58 | <lambdabot> | Consider it noted. |
| 2025-10-15 06:30:30 | × | Tri quits (~tnguyen@69.74.159.34) (Read error: Connection reset by peer) |
| 2025-10-15 06:34:55 | × | Enrico9 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-15 06:45:57 | × | ft quits (~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-15 06:47:25 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 06:47:40 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 06:48:45 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-15 06:52:53 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-15 06:54:25 | <_________> | @pl \w -> length . filter (==w) . words |
| 2025-10-15 06:54:26 | <lambdabot> | (length .) . (. words) . filter . (==) |
| 2025-10-15 06:58:34 | × | annamalai quits (~annamalai@157.32.210.114) (Ping timeout: 248 seconds) |
| 2025-10-15 06:59:51 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 07:00:00 | × | caconym7478798 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-15 07:00:50 | → | caconym7478798 joins (~caconym@user/caconym) |
| 2025-10-15 07:01:40 | <fgidim> | huh, i guess lambdabot really does turn functions tacit. cool |
| 2025-10-15 07:04:03 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 07:04:03 | × | ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
| 2025-10-15 07:04:17 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 07:04:47 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-10-15 07:10:16 | × | jreicher quits (~user@user/jreicher) (Quit: brb) |
| 2025-10-15 07:10:36 | → | karenw joins (~karenw@user/karenw) |
| 2025-10-15 07:11:10 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-10-15 07:11:12 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
| 2025-10-15 07:12:54 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-15 07:16:48 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-15 07:17:27 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 07:23:26 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-10-15 07:29:42 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-15 07:34:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-15 07:37:55 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-10-15 07:45:30 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-15 07:47:08 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-10-15 07:48:41 | → | ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 2025-10-15 07:49:19 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-10-15 07:50:27 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 07:51:50 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-10-15 07:57:14 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Ping timeout: 248 seconds) |
| 2025-10-15 07:59:56 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 2025-10-15 08:02:00 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-15 08:06:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-15 08:08:14 | → | kuribas joins (~user@2a02:1808:cf:aa1d:ef86:5cf9:5b01:47e7) |
| 2025-10-15 08:10:57 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-10-15 08:15:13 | → | irfan joins (~irfan@user/irfan) |
| 2025-10-15 08:15:35 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-15 08:20:34 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-15 08:20:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-15 08:21:23 | → | annamalai joins (~annamalai@157.32.214.152) |
| 2025-10-15 08:28:32 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-15 08:32:00 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-15 08:33:04 | → | halloy7365 joins (~halloy736@2404:4400:5446:4e00:b445:d572:a953:7834) |
| 2025-10-15 08:35:59 | → | kuribas` joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-10-15 08:37:46 | × | kuribas quits (~user@2a02:1808:cf:aa1d:ef86:5cf9:5b01:47e7) (Ping timeout: 248 seconds) |
| 2025-10-15 08:44:10 | × | m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 255 seconds) |
| 2025-10-15 08:50:03 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-10-15 08:57:27 | × | earthy quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2025-10-15 08:59:17 | <mreh> | is it not possible to mix ApplicativeDo syntax in with normal do syntax or something? |
| 2025-10-15 09:00:48 | <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 09:02:17 | <mreh> | actually, I've got something like `bar x` going on... so many that precludes ApplicativeDo |
| 2025-10-15 09:05:25 | <tomsmeding> | mreh: if it's `bar x`, how would you want that to be converted to applicative syntax? |
| 2025-10-15 09:05:50 | <mreh> | tomsmeding: I guess it can't, right? |
| 2025-10-15 09:06:06 | <mreh> | silly me |
| 2025-10-15 09:10:37 | × | inline quits (~inline@2a02:8071:57a1:1260:141f:e122:6bd3:e75) (Ping timeout: 246 seconds) |
| 2025-10-15 09:14:19 | <tomsmeding> | not saying that ApplicativeDo is perfect, but I think in this case it's correct |
| 2025-10-15 09:14:52 | → | chele joins (~chele@user/chele) |
| 2025-10-15 09:20:25 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-15 09:20:32 | × | craunts79533538 quits (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-15 09:22:42 | × | arahael quits (~wetfoot@user/arahael) (Quit: WeeChat 4.6.3) |
| 2025-10-15 09:28:07 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-15 09:33:47 | → | tromp joins (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 09:37:19 | → | acidjnk joins (~acidjnk@p200300d6e717193448bf8d9923882cf1.dip0.t-ipconnect.de) |
| 2025-10-15 09:39:11 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-15 09:50:24 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-10-15 10:02:05 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-10-15 10:02:43 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 10:03:49 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-15 10:04:29 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-15 10:05:17 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 10:09:03 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-10-15 10:09:03 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-10-15 10:09:15 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-15 10:12:29 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-15 10:12:38 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2025-10-15 10:13:30 | divlamir_ | is now known as divlamir |
| 2025-10-15 10:16:04 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-15 10:19:40 | × | synchromesh quits (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) (Read error: Connection reset by peer) |
| 2025-10-15 10:20:27 | → | synchromesh joins (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) |
| 2025-10-15 10:21:26 | → | arahael joins (~wetfoot@user/arahael) |
| 2025-10-15 10:28:11 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-15 10:30:38 | × | stilgart quits (~Christoph@2001:41d0:2:8673::42) (Remote host closed the connection) |
| 2025-10-15 10:30:43 | × | enikar quits (~enikar@user/enikar) (Read error: Connection reset by peer) |
| 2025-10-15 10:32:35 | × | mochie quits (~mochie@93.124.228.5) (Ping timeout: 256 seconds) |
All times are in UTC.