Logs: liberachat/#haskell
| 2025-10-20 04:28:53 | → | annamalai joins (~annamalai@2409:4072:601a:bdd2::2602:e0ac) |
| 2025-10-20 04:32:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-20 04:43:14 | → | michalz joins (~michalz@185.246.207.221) |
| 2025-10-20 04:43:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 04:48:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-20 04:59:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 05:01:05 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 2025-10-20 05:01:07 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-20 05:01:39 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 244 seconds) |
| 2025-10-20 05:04:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-20 05:05:21 | → | halloy9957 joins (~halloy995@ip72-208-127-103.ph.ph.cox.net) |
| 2025-10-20 05:10:56 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-10-20 05:11:55 | × | rvalue- quits (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
| 2025-10-20 05:13:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 05:13:52 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2025-10-20 05:14:01 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-20 05:14:17 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 05:15:51 | → | Googulator31 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 05:15:55 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Client Quit) |
| 2025-10-20 05:15:58 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-20 05:17:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-20 05:19:48 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 252 seconds) |
| 2025-10-20 05:21:04 | × | khumba quits (~khumba@user/khumba) () |
| 2025-10-20 05:27:22 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-20 05:28:05 | → | notzmv joins (~umar@user/notzmv) |
| 2025-10-20 05:28:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 05:34:36 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-10-20 05:36:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-20 05:42:24 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-10-20 05:45:25 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-20 05:45:43 | × | Googulator31 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-20 05:45:49 | → | Googulator22 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 05:46:18 | × | ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2025-10-20 05:46:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 05:52:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-20 06:02:02 | → | Square joins (~Square4@user/square) |
| 2025-10-20 06:02:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 06:05:27 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-10-20 06:05:37 | → | Googulator96 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 06:05:40 | × | Googulator22 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-20 06:07:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-20 06:14:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 06:18:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-20 06:22:16 | × | craunts795335385 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-20 06:29:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 06:31:36 | × | halloy9957 quits (~halloy995@ip72-208-127-103.ph.ph.cox.net) (Quit: halloy9957) |
| 2025-10-20 06:35:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-20 06:42:24 | × | Googulator96 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-20 06:42:42 | → | Googulator96 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 06:44:13 | × | JimL quits (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-10-20 06:45:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 06:47:21 | → | JimL joins (~quassel@89.162.16.26) |
| 2025-10-20 06:48:37 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-10-20 06:51:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-20 06:53:00 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-10-20 06:56:29 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-10-20 07:00:03 | × | caconym7478798 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-20 07:00:47 | → | caconym7478798 joins (~caconym@user/caconym) |
| 2025-10-20 07:01:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 07:06:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-20 07:13:50 | → | Guest57 joins (~Guest57@95.214.217.190) |
| 2025-10-20 07:13:52 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-20 07:14:45 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds) |
| 2025-10-20 07:15:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 07:15:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:242b:79a0:e1f9:7ea5) |
| 2025-10-20 07:18:59 | → | kukimik joins (~kukimik@nat1.mga.com.pl) |
| 2025-10-20 07:20:24 | × | kukimik quits (~kukimik@nat1.mga.com.pl) (Remote host closed the connection) |
| 2025-10-20 07:21:37 | → | chele joins (~chele@user/chele) |
| 2025-10-20 07:21:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-20 07:28:53 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-20 07:33:08 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-10-20 07:34:46 | <dminuoso> | Are liftXXX primitives perhaps misnamed? It just occured to me that `liftIO :: IO a -> SomeT IO a` doesnt really pull anything out, it rather stuffs something in! |
| 2025-10-20 07:34:49 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-20 07:34:53 | <dminuoso> | stuffIO seems more appropriate. |
| 2025-10-20 07:38:40 | <davean> | It lifts an IO |
| 2025-10-20 07:38:45 | <davean> | Its what it lifts |
| 2025-10-20 07:39:37 | <dminuoso> | To me lifting suggests rather pulling something out. |
| 2025-10-20 07:41:42 | <davean> | SomeT is build on IO, and it is a higher universe of semantics |
| 2025-10-20 07:41:52 | <davean> | You are lifting it into the greater semantic world |
| 2025-10-20 07:42:14 | <davean> | SomeT contains IO. |
| 2025-10-20 07:42:43 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2025-10-20 07:42:47 | <dminuoso> | Well you're embedding a plain IO action into something richer, you're stuffing it into a richer description of a computation. |
| 2025-10-20 07:43:08 | <davean> | No you aren't embedding it, it is *already embeded* SomeT has all of IO |
| 2025-10-20 07:43:12 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-10-20 07:43:22 | <davean> | IO is a subsection of SomeT IO |
| 2025-10-20 07:43:33 | <davean> | It specificly isn't embedding |
| 2025-10-20 07:44:05 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-20 07:44:37 | <davean> | you can lower SomeT IO into just IO |
| 2025-10-20 07:46:07 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-10-20 07:46:14 | <davean> | IO is the foundation of SomeT |
| 2025-10-20 07:46:23 | <davean> | SomeT is what is built on top |
| 2025-10-20 07:49:13 | → | Guest31 joins (~Guest57@95.214.217.190) |
| 2025-10-20 07:49:36 | × | Guest57 quits (~Guest57@95.214.217.190) (Quit: Client closed) |
| 2025-10-20 07:49:44 | × | Guest31 quits (~Guest57@95.214.217.190) (Client Quit) |
| 2025-10-20 07:50:34 | <dminuoso> | davean: But at the same time, when we talk about transformers, we say we layer monads *ontop* of a base. In `SomeT IO` you generally call IO a base monad. |
| 2025-10-20 07:51:05 | <davean> | Yes, exactly, hence lifting |
| 2025-10-20 07:52:49 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-20 07:53:08 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-20 07:55:05 | <davean> | IO is the base, SomeT is on top, thus we *lift IO into SomeT* |
| 2025-10-20 07:55:21 | <davean> | Because it is semanticly beneith SomeT IO |
All times are in UTC.