Newest at the top
2025-06-24 10:01:16 +0200 | <[exa]> | MVar it is. |
2025-06-24 10:01:14 +0200 | trickard | (~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 +0200 | AlexNoo_ | AlexNoo |
2025-06-24 09:57:14 +0200 | prdak | (~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 +0200 | machinedgod | (~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 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-06-24 09:50:10 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3605-68d5-9ce1-6c41-bae0-8a0f.rev.sfr.net) alexherbo2 |
2025-06-24 09:48:09 +0200 | merijn | (~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 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
2025-06-24 09:37:29 +0200 | soverysour | (~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 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-24 09:33:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-06-24 09:29:41 +0200 | trickard_ | trickard |
2025-06-24 09:27:29 +0200 | acidjnk | (~acidjnk@p200300d6e70b6636cdb308402753529f.dip0.t-ipconnect.de) acidjnk |
2025-06-24 09:24:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-06-24 09:22:27 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
2025-06-24 09:21:27 +0200 | Square2 | (~Square@user/square) Square |
2025-06-24 09:08:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-24 09:06:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-24 09:04:39 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-24 09:03:53 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-06-24 09:02:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-06-24 09:01:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-24 09:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-24 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-24 08:56:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-24 08:56:18 +0200 | hsw_ | hsw |
2025-06-24 08:55:36 +0200 | <[exa]> | Leary: the "try work" part is underrated |
2025-06-24 08:54:50 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-24 08:51:19 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-24 08:51:19 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-24 08:51:19 +0200 | soverysour | (~soverysou@84.232.150.142) soverysour |
2025-06-24 08:35:52 +0200 | <[exa]> | ok perfect, thanks for confirm! |
2025-06-24 08:35:05 +0200 | <Leary> | Just so you can leverage STM when waiting on multiple results. You can replace it with `MVar` and `Chan` if you prefer. |
2025-06-24 08:34:19 +0200 | <[exa]> | (I assume that's for stm capability + put semantics?) |
2025-06-24 08:33:08 +0200 | <[exa]> | any particular reason for choosing TMVar for sending the results back? |