Newest at the top
| 2025-10-20 10:48:27 +0200 | <davean> | expanding out from zero |
| 2025-10-20 10:48:20 +0200 | <davean> | dminuoso: don't think of it as a peramid, think of its a sphere with subspheres nested inside it |
| 2025-10-20 10:47:07 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-20 10:46:56 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-20 10:45:49 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 10:45:38 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-20 10:45:37 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-20 10:43:05 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
| 2025-10-20 10:40:58 +0200 | <dminuoso> | davean: I guess if we just think of monad transformers or just constructions that eventually embed as some kinds of pyramid, it seems rather arbitrary whether we imagine the pyramid to have its tip pointed downwards or upwards. |
| 2025-10-20 10:39:44 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-20 10:39:09 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-20 10:37:37 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 265 seconds) |
| 2025-10-20 10:34:55 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) (Quit: Client closed) |
| 2025-10-20 10:34:08 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-20 10:32:26 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-10-20 10:31:59 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:75ff:6dec:5332:48f7) synchromesh |
| 2025-10-20 10:30:40 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:75ff:6dec:5332:48f7) (Read error: Connection reset by peer) |
| 2025-10-20 10:30:16 +0200 | mzg_ | (mzg@abusers.hu) (Remote host closed the connection) |
| 2025-10-20 10:29:26 +0200 | kubrat | (~kubrat@149.62.205.212) kubrat |
| 2025-10-20 10:22:19 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 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 |