5 ms·
> local reasoning everywhere via lazy evaluation Doesn't lazy evaluation mean memory/complexity issues could manifest far away from the problematic code?
by didroe 3y ago
> local reasoning everywhere via lazy evaluation
Doesn't lazy evaluation mean memory/complexity issues could manifest far away from the problematic code?
- whateveracct 3y agooccasionally but usually not the reasoning is about correctness and program behavior Haskell is still the only mainstream language that truly delivers on "understand the part without needing to consider the whole." Others can with work and discipline. With Haskell, you usually have to work hard to get in that level of quagmire (and I've seen and fixed plenty of quagmires. I've seen people complain about code too and just be wrong when I got my hands dirty for like an afternoon.)
- ParetoOptimal 3y agoPithy answer: In theory, but very often doesn't matter in practice. I think the sibling response has a good answer FYI.