Newest at the top
| 2025-10-20 10:20:41 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-20 10:19:53 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-20 10:19:49 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
| 2025-10-20 10:18:43 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) (Client Quit) |
| 2025-10-20 10:17:46 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
| 2025-10-20 10:10:38 +0200 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-20 10:10:37 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 10:08:35 +0200 | img | (~img@user/img) img |
| 2025-10-20 10:08:25 +0200 | <monochrom> | The best thing about meaningful names is that there are so many meanings to choose from! |
| 2025-10-20 10:07:18 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-20 10:06:12 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
| 2025-10-20 10:05:53 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-10-20 10:05:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-20 09:59:22 +0200 | acidjnk | (~acidjnk@p200300d6e7171945c42b348415052731.dip0.t-ipconnect.de) acidjnk |
| 2025-10-20 09:55:21 +0200 | <davean> | Because it is semanticly beneith SomeT IO |
| 2025-10-20 09:55:05 +0200 | <davean> | IO is the base, SomeT is on top, thus we *lift IO into SomeT* |
| 2025-10-20 09:53:08 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-20 09:52:49 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-20 09:51:05 +0200 | <davean> | Yes, exactly, hence lifting |
| 2025-10-20 09:50:34 +0200 | <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 09:49:44 +0200 | Guest31 | (~Guest57@95.214.217.190) (Client Quit) |
| 2025-10-20 09:49:36 +0200 | Guest57 | (~Guest57@95.214.217.190) (Quit: Client closed) |
| 2025-10-20 09:49:13 +0200 | Guest31 | (~Guest57@95.214.217.190) |
| 2025-10-20 09:46:23 +0200 | <davean> | SomeT is what is built on top |
| 2025-10-20 09:46:14 +0200 | <davean> | IO is the foundation of SomeT |
| 2025-10-20 09:46:07 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-20 09:44:37 +0200 | <davean> | you can lower SomeT IO into just IO |
| 2025-10-20 09:44:05 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-20 09:43:33 +0200 | <davean> | It specificly isn't embedding |
| 2025-10-20 09:43:22 +0200 | <davean> | IO is a subsection of SomeT IO |
| 2025-10-20 09:43:12 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-10-20 09:43:08 +0200 | <davean> | No you aren't embedding it, it is *already embeded* SomeT has all of IO |
| 2025-10-20 09:42:47 +0200 | <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 09:42:43 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2025-10-20 09:42:14 +0200 | <davean> | SomeT contains IO. |
| 2025-10-20 09:41:52 +0200 | <davean> | You are lifting it into the greater semantic world |
| 2025-10-20 09:41:42 +0200 | <davean> | SomeT is build on IO, and it is a higher universe of semantics |
| 2025-10-20 09:39:37 +0200 | <dminuoso> | To me lifting suggests rather pulling something out. |
| 2025-10-20 09:38:45 +0200 | <davean> | Its what it lifts |
| 2025-10-20 09:38:40 +0200 | <davean> | It lifts an IO |
| 2025-10-20 09:34:53 +0200 | <dminuoso> | stuffIO seems more appropriate. |
| 2025-10-20 09:34:49 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-20 09:34:46 +0200 | <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 09:33:08 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-10-20 09:28:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-20 09:21:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-20 09:21:37 +0200 | chele | (~chele@user/chele) chele |
| 2025-10-20 09:20:24 +0200 | kukimik | (~kukimik@nat1.mga.com.pl) (Remote host closed the connection) |
| 2025-10-20 09:18:59 +0200 | kukimik | (~kukimik@nat1.mga.com.pl) |
| 2025-10-20 09:15:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:242b:79a0:e1f9:7ea5) |