Logs: liberachat/#haskell
| 2026-04-18 17:08:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 17:09:47 | × | Guest37 quits (~Guest37@150.107.206.33) (Ping timeout: 245 seconds) |
| 2026-04-18 17:13:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 17:19:04 | → | Guest37 joins (~Guest37@150.107.206.33) |
| 2026-04-18 17:21:42 | <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:22:05 | × | Guest37 quits (~Guest37@150.107.206.33) (Client Quit) |
| 2026-04-18 17:24:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 17:24:21 | <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:25:40 | <janus> | i can see why streaming is seen as complicated. i've never used it in anger |
| 2026-04-18 17:26:00 | <janus> | but it seems like a useful abstraction at some point |
| 2026-04-18 17:26:42 | × | tromp quits (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 17:27:05 | <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:27:55 | <janus> | gentauro: but do you actually think lazy IO was a mistake? |
| 2026-04-18 17:28:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-18 17:29:25 | <monochrom> | Yeah l use lazy IO, but only because I only need toy programs. :) |
| 2026-04-18 17:29:48 | <monochrom> | aka scripts |
| 2026-04-18 17:30:03 | <monochrom> | (shots fired haha) |
| 2026-04-18 17:30:08 | <janus> | sure it's convenient, it's just unfortunate when the stdlib provides foot guns |
| 2026-04-18 17:30:27 | <janus> | i think your view is common. it's pragmatic |
| 2026-04-18 17:30:39 | <monochrom> | Alternatively, I really understand lazy evaluation, so lazy IO doesn't bite me. |
| 2026-04-18 17:31:20 | <janus> | heh i like that, that is the GOAT perspective |
| 2026-04-18 17:31:59 | <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:32:10 | <monochrom> | haha |
| 2026-04-18 17:34:44 | → | uli-fem joins (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 17:34:57 | <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:39:09 | × | uli-fem quits (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 17:40:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 17:41:26 | → | marinelli joins (~weechat@brrr.fr) |
| 2026-04-18 17:44:30 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-18 17:44:51 | <haskellbridge> | <maerwald> Depends on the streaming library |
| 2026-04-18 17:45:55 | × | Inline quits (~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:46:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 17:47:51 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-18 17:48:37 | → | tromp joins (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 17:55:03 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-04-18 17:58:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 18:02:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 18:04:49 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-18 18:08:36 | → | uli-fem joins (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 18:13:21 | × | uli-fem quits (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2026-04-18 18:13:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 18:15:02 | → | user363627 joins (~user@user/user363627) |
| 2026-04-18 18:15:19 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2026-04-18 18:17:38 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-18 18:18:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 18:29:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-18 18:33:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 18:34:30 | × | puke quits (~puke@user/puke) (Ping timeout: 250 seconds) |
All times are in UTC.