Newest at the top
2025-06-22 23:16:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5) |
2025-06-22 23:15:09 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-06-22 23:07:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-22 22:56:23 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
2025-06-22 22:50:39 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-06-22 22:36:22 +0200 | <tomsmeding> | EvanR: these are the monad methods https://hackage.haskell.org/package/template-haskell-2.18.0.0/docs/Language-Haskell-TH-Syntax.html… |
2025-06-22 22:35:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-22 22:34:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-22 22:29:00 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
2025-06-22 22:26:30 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
2025-06-22 22:23:29 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-06-22 22:21:44 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-06-22 22:19:41 +0200 | <EvanR> | or just an expression |
2025-06-22 22:19:37 +0200 | <ski> | (constructing local scopes with variables, in MetaML,MetaOCaml, does not require an effect) |
2025-06-22 22:19:25 +0200 | <EvanR> | if it weren't for that would it just be a monoid or something |
2025-06-22 22:19:11 +0200 | <EvanR> | is that the only reason? |
2025-06-22 22:17:03 +0200 | <monochrom> | Q is a monad because it has two effects: Fresh name generation, IO. |
2025-06-22 22:14:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-22 22:14:06 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-06-22 22:10:20 +0200 | <EvanR> | oh |
2025-06-22 22:10:06 +0200 | <geekosaur> | the Q Continuum from ST:TNG |
2025-06-22 22:06:04 +0200 | <EvanR> | the james bond franschise? xD |
2025-06-22 22:05:47 +0200 | <EvanR> | rather what does "it" refer to |
2025-06-22 22:05:35 +0200 | <EvanR> | what's a continuum |
2025-06-22 22:00:12 +0200 | <mauke> | o/ |
2025-06-22 21:59:47 +0200 | <Hecate> | 'sup mauke :) |
2025-06-22 21:53:04 +0200 | <mauke> | .oO( it's a continuum ) |
2025-06-22 21:50:11 +0200 | <Hecate> | Just like James Bond when his gadgets don't work |
2025-06-22 21:49:54 +0200 | <EvanR> | I was thinking of Q |
2025-06-22 21:49:43 +0200 | <tomsmeding> | "TH" is syntax, not really something that can "be" a monad, I think |
2025-06-22 21:49:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
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 |