2025/06/22

Newest at the top

2025-06-22 23:50:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 23:50:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-22 23:16:39 +0200tromp(~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5)
2025-06-22 23:15:09 +0200weary-traveler(~user@user/user363627) user363627
2025-06-22 23:07:15 +0200tromp(~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-22 22:56:23 +0200Square(~Square@user/square) (Ping timeout: 268 seconds)
2025-06-22 22:50:39 +0200Lycurgus(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-22 22:34:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-22 22:29:00 +0200ThePenguin(~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin
2025-06-22 22:26:30 +0200ThePenguin(~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection)
2025-06-22 22:23:29 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-06-22 22:21:44 +0200Lycurgus(~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 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-22 22:14:06 +0200pavonia(~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 +0200Frostillicus(~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 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 276 seconds)
2025-06-22 21:46:26 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-22 21:46:09 +0200My-Bosnian-Mom-M(~My-Bosnia@109.175.54.108) (Quit: Client closed)
2025-06-22 21:45:41 +0200cawfee(root@2001:19f0:4400:79a1::babe)
2025-06-22 21:45:33 +0200cawfee(root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.3)
2025-06-22 21:37:01 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-22 21:36:07 +0200soverysour(~soverysou@user/soverysour) soverysour
2025-06-22 21:36:07 +0200soverysour(~soverysou@84.232.150.229) (Changing host)
2025-06-22 21:36:07 +0200soverysour(~soverysou@84.232.150.229)
2025-06-22 21:34:19 +0200cawfee(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 +0200peterbecich(~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 +0200Frostillicus(~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?