Newest at the top
| 2026-04-06 16:57:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-06 16:54:34 +0000 | hellwolf | (~user@7530-0dab-5d73-cf2b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-04-06 16:50:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 16:48:41 +0000 | hellwolf | (~user@52de-36c6-d139-9d27-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 248 seconds) |
| 2026-04-06 16:46:42 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-06 16:43:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-06 16:38:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 16:29:24 +0000 | <mauke> | RealWorld is bullshit. it doesn't explain anything |
| 2026-04-06 16:27:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-06 16:26:20 +0000 | TMA | is not smart enough and that's fine |
| 2026-04-06 16:26:17 +0000 | <TMA> | gentauro: some parts are easy. some parts make my brain shut down. |
| 2026-04-06 16:25:09 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-06 16:24:41 +0000 | <TMA> | gentauro: I have read it. I have not understood it. |
| 2026-04-06 16:22:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 16:14:39 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-06 16:10:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-06 16:05:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 15:59:22 +0000 | slomp | (~slomp@47-158-212-88.lsan.ca.frontiernet.net) |
| 2026-04-06 15:57:55 +0000 | slomp | (~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Read error: Connection reset by peer) |
| 2026-04-06 15:54:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-06 15:49:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 15:47:15 +0000 | <gentauro> | TMA: do you know Binary Lambda Calculus from John Tromp? https://tromp.github.io/cl/Binary_lambda_calculus.html (see his examples how he handles IO effects) ;) |
| 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) |