Newest at the top
| 2026-04-18 18:44:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 18:43:26 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 18:43:26 +0000 | Square3 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-04-18 18:34:30 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-18 18:33:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 18:29:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 18:18:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 18:17:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-18 18:15:19 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2026-04-18 18:15:02 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2026-04-18 18:13:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 18:13:21 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2026-04-18 18:08:36 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 18:04:49 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-18 18:02:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 17:58:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 17:55:03 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-04-18 17:48:37 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 17:47:51 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-18 17:46:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 17:45:55 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2026-04-18 17:44:51 +0000 | <haskellbridge> | <maerwald> Depends on the streaming library |
| 2026-04-18 17:44:30 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-18 17:41:26 +0000 | marinelli | (~weechat@brrr.fr) marinelli |
| 2026-04-18 17:40:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 17:39:09 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 17:34:57 +0000 | <monochrom> | I recognize that beyond toys and scripts, lazy IO requires too much thinking and re-thinking to tame, even if you understand lazy evaluation perfectly, e.g., it's fragile (tiny changes to your pure FP code implies big changes to I/O timing). Streaming libraries give you much better predictability and peace of mind. |
| 2026-04-18 17:34:44 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 17:32:10 +0000 | <monochrom> | haha |
| 2026-04-18 17:31:59 +0000 | <janus> | like Lamport dressing like a clown and saying "why should you trust me?", then changing clothes and saying "I won the turing award" |
| 2026-04-18 17:31:20 +0000 | <janus> | heh i like that, that is the GOAT perspective |
| 2026-04-18 17:30:39 +0000 | <monochrom> | Alternatively, I really understand lazy evaluation, so lazy IO doesn't bite me. |
| 2026-04-18 17:30:27 +0000 | <janus> | i think your view is common. it's pragmatic |
| 2026-04-18 17:30:08 +0000 | <janus> | sure it's convenient, it's just unfortunate when the stdlib provides foot guns |
| 2026-04-18 17:30:03 +0000 | <monochrom> | (shots fired haha) |
| 2026-04-18 17:29:48 +0000 | <monochrom> | aka scripts |
| 2026-04-18 17:29:25 +0000 | <monochrom> | Yeah l use lazy IO, but only because I only need toy programs. :) |
| 2026-04-18 17:28:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-18 17:27:55 +0000 | <janus> | gentauro: but do you actually think lazy IO was a mistake? |
| 2026-04-18 17:27:05 +0000 | <janus> | and it's a subject we keep having to mention because lazy IO is a poor man's streaming, i think? |
| 2026-04-18 17:26:42 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 17:26:00 +0000 | <janus> | but it seems like a useful abstraction at some point |
| 2026-04-18 17:25:40 +0000 | <janus> | i can see why streaming is seen as complicated. i've never used it in anger |
| 2026-04-18 17:24:21 +0000 | <monochrom> | I have too lazy to read that post. But supposedly you can always have your own judgment on the code, despite what the author self-declares. |
| 2026-04-18 17:24:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 17:22:05 +0000 | Guest37 | (~Guest37@150.107.206.33) (Client Quit) |
| 2026-04-18 17:21:42 +0000 | <janus> | gentauro: that's not what Chris Penner says though. He says in the article that he considers the final version very readable |
| 2026-04-18 17:19:04 +0000 | Guest37 | (~Guest37@150.107.206.33) |
| 2026-04-18 17:13:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 17:09:47 +0000 | Guest37 | (~Guest37@150.107.206.33) (Ping timeout: 245 seconds) |