Newest at the top
| 2025-06-22 21:49:18 +0200 | <tomsmeding> | EvanR: "TH is a monad" doesn't track; the staged code in TH runs in a monad (called Q) because it needs to do effectful stuff like generating names, querying information from the compiler, etc. |
| 2025-06-22 21:46:48 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 276 seconds) |
| 2025-06-22 21:46:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-22 21:46:09 +0200 | My-Bosnian-Mom-M | (~My-Bosnia@109.175.54.108) (Quit: Client closed) |
| 2025-06-22 21:45:41 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) |
| 2025-06-22 21:45:33 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.3) |
| 2025-06-22 21:37:01 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-22 21:36:07 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-22 21:36:07 +0200 | soverysour | (~soverysou@84.232.150.229) (Changing host) |
| 2025-06-22 21:36:07 +0200 | soverysour | (~soverysou@84.232.150.229) |
| 2025-06-22 21:34:19 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) qjqqyy |
| 2025-06-22 21:33:04 +0200 | <EvanR> | TH is a monad right. Is there some deep theoretical connection between stuff like TH and monads |
| 2025-06-22 21:30:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-22 21:29:20 +0200 | <geekosaur> | becomes more complicated if you need to refer to stuff inside of it, of course, but hopefully you don't need to |
| 2025-06-22 21:28:39 +0200 | <geekosaur> | should be no different from building an expression subnode of your own, except in this case it was built by the other quasiquoter |
| 2025-06-22 21:27:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-22 21:25:46 +0200 | <geekosaur> | most of the time I expect that you would graft the new AST as an expression when you would otherwise insert a new AST node of your own? |
| 2025-06-22 21:25:23 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-06-22 21:25:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-22 21:24:18 +0200 | EvanR_ | EvanR |
| 2025-06-22 21:24:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-06-22 21:20:56 +0200 | <haskellbridge> | <loonycyborg> mainly was thinking of this because QQ reusing other QQ could be more maintainable |
| 2025-06-22 21:20:30 +0200 | <haskellbridge> | <loonycyborg> probably implementing own QQ without using other QQ would be better choice anyway |
| 2025-06-22 21:19:05 +0200 | <haskellbridge> | <loonycyborg> I only know that you can turn some of your code immediately into AST but I'm not sure how to make it see result of another QQ as a variable inside of it |
| 2025-06-22 21:18:13 +0200 | <haskellbridge> | <loonycyborg> hmm if original QQ returns AST then another QQ would have to operate on that AST and add own code to it, I don't know TH much yet either. |
| 2025-06-22 21:17:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-06-22 21:15:38 +0200 | Guest59 | (~Guest59@pool-100-36-178-27.washdc.fios.verizon.net) (Client Quit) |
| 2025-06-22 21:14:51 +0200 | Guest59 | (~Guest59@pool-100-36-178-27.washdc.fios.verizon.net) |
| 2025-06-22 21:14:12 +0200 | My-Bosnian-Mom-M | (~My-Bosnia@109.175.54.108) |
| 2025-06-22 21:10:19 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 2025-06-22 21:10:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-22 21:09:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-22 21:09:05 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-22 21:07:32 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-06-22 21:07:20 +0200 | <tomsmeding> | *decide |
| 2025-06-22 21:07:18 +0200 | <tomsmeding> | loonycyborg: Well, an AST is a tree; (<>) wouldn't be able to decde for you how to combine them ;) |
| 2025-06-22 21:05:15 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-22 21:01:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-22 21:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-22 21:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-22 20:48:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-22 20:47:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-22 20:47:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-22 20:46:21 +0200 | rvalue- | rvalue |
| 2025-06-22 20:41:54 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
| 2025-06-22 20:41:26 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-06-22 20:36:33 +0200 | orcus | (~orcus@user/brprice) brprice |
| 2025-06-22 20:36:03 +0200 | dispater | (~dispater@user/brprice) brprice |
| 2025-06-22 20:34:19 +0200 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-22 20:33:13 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |