Newest at the top
| 2026-06-21 12:01:18 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2026-06-21 11:53:36 +0000 | divlamir_ | divlamir |
| 2026-06-21 11:53:36 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 246 seconds) |
| 2026-06-21 11:51:23 +0000 | Enigmagic | (~Enigmagic@user/Enigmagic) Enigmagic |
| 2026-06-21 11:51:08 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-21 11:50:57 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-06-21 11:50:09 +0000 | <probie> | The definition can be trivially derived from the type of `runStateT` since it's a newtype (i.e `newtype StateT s m a = StateT { runStateT :: s -> m (a, s) }`) |
| 2026-06-21 11:49:57 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-21 11:46:40 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-21 11:46:06 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 245 seconds) |
| 2026-06-21 11:37:36 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-21 11:37:27 +0000 | digitteknohippie | (~user@user/digit) (Quit: moved to a fresh emerged emacs32 with fewer superfluous useflags enabled) |
| 2026-06-21 11:36:37 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-21 11:35:27 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-21 11:33:56 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-21 11:33:45 +0000 | Digit | (~user@user/digit) Digit |
| 2026-06-21 11:32:51 +0000 | <mauke> | aww |
| 2026-06-21 11:32:49 +0000 | <lambdabot> | Source not found. Just try something else. |
| 2026-06-21 11:32:49 +0000 | <mauke> | @src StateT |
| 2026-06-21 11:32:47 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-21 11:32:26 +0000 | <vms14> | although i think it's a good excuse to make my first monad also |
| 2026-06-21 11:32:15 +0000 | <vms14> | i might |
| 2026-06-21 11:31:55 +0000 | Digit | digitteknohippie |
| 2026-06-21 11:31:41 +0000 | <mauke> | StateT IO |
| 2026-06-21 11:31:37 +0000 | <lambdabot> | StateT s m a -> s -> m (a, s) |
| 2026-06-21 11:31:36 +0000 | <mauke> | :t runStateT |
| 2026-06-21 11:31:29 +0000 | <lambdabot> | State s a -> s -> (a, s) |
| 2026-06-21 11:31:28 +0000 | <mauke> | :t runState |
| 2026-06-21 11:31:28 +0000 | <vms14> | mauke: and what i do when an action performs IO? |
| 2026-06-21 11:31:14 +0000 | <vms14> | but it feels like that should be abstracted away and do it similar to what monads do already |
| 2026-06-21 11:31:11 +0000 | <mauke> | sounds like State |
| 2026-06-21 11:30:57 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-21 11:30:49 +0000 | <vms14> | i can make operations that receive a stack and return another |
| 2026-06-21 11:30:47 +0000 | CiaoSen | (~Jura@2a02:3100:588a:de00:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-21 11:30:24 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2026-06-21 11:30:22 +0000 | <vms14> | that would be the stack |
| 2026-06-21 11:30:15 +0000 | <vms14> | data Element = Sint Int | Schar Char | Sstring String | Slist [Element] deriving (Show, Eq) |
| 2026-06-21 11:30:01 +0000 | <vms14> | should i make a monad that makes expressions pass the stack implicitly? |
| 2026-06-21 11:28:42 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5653521cd9f093235ad.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-06-21 11:28:42 +0000 | acidjnk | (~acidjnk@p200300d6e700e5653521cd9f093235ad.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-06-21 11:25:41 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-21 11:25:16 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-21 11:20:58 +0000 | Enigmagic | (~Enigmagic@user/Enigmagic) (Ping timeout: 276 seconds) |
| 2026-06-21 11:17:39 +0000 | Digit | (~user@user/digit) Digit |
| 2026-06-21 11:15:50 +0000 | Enigmagic | (~Enigmagic@user/Enigmagic) Enigmagic |
| 2026-06-21 11:15:05 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-21 11:11:44 +0000 | Axma15511 | (~Axman6@user/axman6) Axman6 |
| 2026-06-21 10:57:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-21 10:50:21 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-06-21 10:49:58 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |