2025/06/24

Newest at the top

2025-06-24 10:05:20 +0200 <tomsmeding> [exa]: ActionT is just a ReaderT, so if it's ActionT IO then you can unlift it to normal IO
2025-06-24 10:04:24 +0200 <tomsmeding> [exa]: so you choose the IO option? :P
2025-06-24 10:02:37 +0200[exa]hides back to his cellar
2025-06-24 10:02:26 +0200[exa]will send through a function that sets the mvar
2025-06-24 10:02:18 +0200[exa]suddenly becomes ultrafunctional
2025-06-24 10:01:51 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-24 10:01:16 +0200 <[exa]> MVar it is.
2025-06-24 10:01:14 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-06-24 10:01:13 +0200 <[exa]> anyway there's probably scotty on the other side so I assume I might need to pull in ActionT, which ain't super cool
2025-06-24 10:00:35 +0200 <[exa]> didn't notice that
2025-06-24 10:00:33 +0200 <[exa]> ha, multiple results, good
2025-06-24 09:59:11 +0200AlexNoo_AlexNoo
2025-06-24 09:57:14 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-24 09:56:46 +0200 <tomsmeding> If IO, then you can't use it as part of a larger STM transaction, like Leary's usecase of waiting on multiple results simultaneously
2025-06-24 09:56:28 +0200 <tomsmeding> what monad would that response-sending function run in? If STM then as a consumer you're limited to STM stuff, i.e. you can't send the response onto the network immediately
2025-06-24 09:56:07 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-06-24 09:55:49 +0200 <[exa]> :D
2025-06-24 09:55:47 +0200 <[exa]> yeah, currently wondering what would that additional flexibility be
2025-06-24 09:55:25 +0200 <tomsmeding> [exa]: I guess that depends on whether you will be making use of that additional flexibility
2025-06-24 09:52:13 +0200 <[exa]> Leary: still kinda wondering about the design space; why not send through a response-sending function instead of the TMVar?
2025-06-24 09:51:57 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-06-24 09:50:10 +0200alexherbo2(~alexherbo@2a02-8440-3605-68d5-9ce1-6c41-bae0-8a0f.rev.sfr.net) alexherbo2
2025-06-24 09:48:09 +0200merijn(~merijn@77.242.116.146) merijn
2025-06-24 09:43:36 +0200 <tomsmeding> the name is also not too shabby for such an example ("embedLogicT")
2025-06-24 09:42:50 +0200 <tomsmeding> magic_rb: for similar results as monochrom's example but a little more complex, expand the LogicT newtype in the type of embedLogicT https://hackage-content.haskell.org/package/logict-0.8.2.0/docs/Control-Monad-Logic.html#v:embedLo…
2025-06-24 09:40:29 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: Leaving)
2025-06-24 09:37:29 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 245 seconds)
2025-06-24 09:37:19 +0200 <tomsmeding> magic_rb: what time and where? If it's close by I may sneak out (if you want to send that privately, my email is here https://tomsmeding.com/ )
2025-06-24 09:36:01 +0200 <tomsmeding> same city though
2025-06-24 09:35:43 +0200 <tomsmeding> magic_rb: this Thursday I'll be here, sorry https://conf.researchr.org/home/dfdm-2025
2025-06-24 09:35:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-24 09:33:47 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-06-24 09:29:41 +0200trickard_trickard
2025-06-24 09:27:29 +0200acidjnk(~acidjnk@p200300d6e70b6636cdb308402753529f.dip0.t-ipconnect.de) acidjnk
2025-06-24 09:24:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-06-24 09:22:27 +0200Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu
2025-06-24 09:21:27 +0200Square2(~Square@user/square) Square
2025-06-24 09:08:29 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-24 09:06:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-24 09:04:39 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-24 09:03:53 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-06-24 09:02:07 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-06-24 09:01:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-06-24 09:00:41 +0200caconym7(~caconym@user/caconym) caconym
2025-06-24 09:00:01 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-24 08:56:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-24 08:56:18 +0200hsw_hsw
2025-06-24 08:55:36 +0200 <[exa]> Leary: the "try work" part is underrated
2025-06-24 08:54:50 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-24 08:51:19 +0200soverysour(~soverysou@user/soverysour) soverysour