2025/10/20

Newest at the top

2025-10-20 10:19:53 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-10-20 10:19:49 +0200FirefoxDeHuk(~FirefoxDe@109.108.69.106)
2025-10-20 10:18:43 +0200FirefoxDeHuk(~FirefoxDe@109.108.69.106) (Client Quit)
2025-10-20 10:17:46 +0200FirefoxDeHuk(~FirefoxDe@109.108.69.106)
2025-10-20 10:10:38 +0200Googulator96(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-20 10:10:37 +0200Googulator64(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-20 10:08:35 +0200img(~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 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-10-20 10:06:12 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 244 seconds)
2025-10-20 10:05:53 +0200jreicher(~user@user/jreicher) (Ping timeout: 256 seconds)
2025-10-20 10:05:00 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-20 09:59:22 +0200acidjnk(~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 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-10-20 09:52:49 +0200trickard(~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 +0200Guest31(~Guest57@95.214.217.190) (Client Quit)
2025-10-20 09:49:36 +0200Guest57(~Guest57@95.214.217.190) (Quit: Client closed)
2025-10-20 09:49:13 +0200Guest31(~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 +0200srazkvt(~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 +0200emmanuelux(~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 +0200tabemann(~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 +0200tabemann(~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 +0200weary-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 +0200EvanR(~EvanR@user/evanr) EvanR
2025-10-20 09:28:53 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-20 09:21:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-20 09:21:37 +0200chele(~chele@user/chele) chele
2025-10-20 09:20:24 +0200kukimik(~kukimik@nat1.mga.com.pl) (Remote host closed the connection)
2025-10-20 09:18:59 +0200kukimik(~kukimik@nat1.mga.com.pl)
2025-10-20 09:15:13 +0200tromp(~textual@2001:1c00:3487:1b00:242b:79a0:e1f9:7ea5)
2025-10-20 09:15:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn