Newest at the top
| 2026-04-06 15:42:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-06 15:40:22 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-04-06 15:40:02 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-04-06 15:38:54 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-04-06 15:38:17 +0000 | TMA | is not smart enough and that's fine |
| 2026-04-06 15:37:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 15:37:36 +0000 | TMA | has come to terms with own limitations |
| 2026-04-06 15:36:41 +0000 | <TMA> | __monty__: nobody permits me to use haskell in employment related work so I use haskell mostly as an inspiration for structuring code in other languages, so this level of understanding does not hinder me at all |
| 2026-04-06 15:35:09 +0000 | <TMA> | tomsmeding: I have read about them. |
| 2026-04-06 15:34:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-06 15:27:14 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-06 15:26:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-06 15:25:46 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-06 15:19:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 15:16:59 +0000 | <tomsmeding> | but that's mostly an emperor's-new-clothes situation, everyone assumes it's there |
| 2026-04-06 15:16:55 +0000 | <__monty__> | TMA: That's a bad conclusion. (As in, it saddens me that you've come to it, not as in you're bad for reaching it.) Maybe forego "understanding" IO for a bit and just try it out for a bit, get a feel for it. (Don't fall into the trap of turning your observations into rigid rules of how it works though, keep an open mind.) |
| 2026-04-06 15:16:34 +0000 | <tomsmeding> | ostensibly that %1 should be there, but it isn't |
| 2026-04-06 15:16:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e50883c9e32b40afcfd6.dip0.t-ipconnect.de) |
| 2026-04-06 15:15:17 +0000 | <tomsmeding> | *perfect sense |
| 2026-04-06 15:15:11 +0000 | <tomsmeding> | if you write IO as `newtype IO a = IO (RealWorld %1-> (RealWorld, Ur a))` suddenly it makes perfectsense |
| 2026-04-06 15:14:40 +0000 | <tomsmeding> | TMA: have you ever done anything with linear types? |
| 2026-04-06 15:10:52 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-06 15:10:52 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-06 15:08:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-06 15:04:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 14:57:17 +0000 | <TMA> | EvanR: my understanding now is: haskell has no I/O. it has IO instead and that's dark magic I don't want to touch |
| 2026-04-06 14:55:22 +0000 | <ski> | they're stepping stones |
| 2026-04-06 14:53:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-06 14:51:32 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-06 14:48:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 14:45:20 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-04-06 14:40:35 +0000 | <EvanR> | RealWorld and [Response] -> [Request] both seems like dead ends in IO enlightenment |
| 2026-04-06 14:39:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-06 14:34:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 14:33:07 +0000 | <EvanR> | my understanding of I/O started when threading RealWorld stopped xD |
| 2026-04-06 14:30:37 +0000 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2026-04-06 14:24:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-06 14:20:25 +0000 | traxex | (traxex@user/traxex) (Ping timeout: 272 seconds) |
| 2026-04-06 14:18:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 14:08:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-06 14:03:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 13:56:03 +0000 | <TMA> | my understanding of I/O in Haskell stopped with threading RealWorld through everything |
| 2026-04-06 13:55:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-04-06 13:52:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-06 13:48:49 +0000 | tromp | (~textual@2001:1c00:340e:2700:8cf8:7bb7:a0e:7cfa) |
| 2026-04-06 13:47:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 13:42:09 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:75ab:7cb0:db12:1e18) synchromesh |
| 2026-04-06 13:41:32 +0000 | <lambdabot> | newtype Cont r a = Cont { runCont :: (a -> r) -> r } |
| 2026-04-06 13:41:32 +0000 | <ski> | @src Cont |
| 2026-04-06 13:41:13 +0000 | <lambdabot> | (Char -> Dialogue) -> Dialogue |