Newest at the top
| 2026-06-21 12:18:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-21 12:16:38 +0000 | xff0x | (~xff0x@2405:6580:b080:900:276e:9a01:f3d4:3fcb) |
| 2026-06-21 12:16:33 +0000 | vms14 | (~vms14@user/vms14) (WeeChat 4.6.3) |
| 2026-06-21 12:16:30 +0000 | <vms14> | see you |
| 2026-06-21 12:16:28 +0000 | <vms14> | haskell has a nice community |
| 2026-06-21 12:16:21 +0000 | <vms14> | it was fun though, thanks guy for helping me out with my random questions :D |
| 2026-06-21 12:15:44 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7423:ed7:4abd:dce) (Ping timeout: 252 seconds) |
| 2026-06-21 12:13:44 +0000 | <vms14> | but i'm too impure for haskell :D |
| 2026-06-21 12:11:12 +0000 | <vms14> | i like how lazyness and fp teaches me to iterate infinity |
| 2026-06-21 12:09:53 +0000 | <vms14> | and i have done nothing but avoid it xd |
| 2026-06-21 12:09:37 +0000 | <vms14> | i think i cannot have future with haskell until i learn to appreciate the type system |
| 2026-06-21 12:08:18 +0000 | <__monty__> | Exactly, mostly just a context based joke though. Haskell may not be the most suitable tool for you and that's OK. |
| 2026-06-21 12:05:55 +0000 | CiaoSen | (~Jura@2a02:3100:588a:de00:4e50:ddff:fe9b:8922) (Ping timeout: 244 seconds) |
| 2026-06-21 12:05:18 +0000 | <int-e> | __monty__: you mean, with enough stones you can walk on the river bed, so you don't have to swim precariously? |
| 2026-06-21 12:05:03 +0000 | <vms14> | the day i want to stop making hello worlds and do something serious i will drown |
| 2026-06-21 12:04:49 +0000 | <vms14> | yeah, that's also true |
| 2026-06-21 12:04:38 +0000 | <__monty__> | Wait until you need to cross a river ; ) |
| 2026-06-21 12:04:10 +0000 | <vms14> | i fail to appreciate all the stones it puts on my path |
| 2026-06-21 12:03:51 +0000 | <vms14> | i'm thinking haskell is not the best option for me |
| 2026-06-21 12:01:38 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 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 |