4 ms·
So it's just a matter of abstracting less or more of the implementation details. In Haskell, the mutation necessary to implement pure, lazy computation is an im
by Peaker 12y ago
So it's just a matter of abstracting less or more of the implementation details. In Haskell, the mutation necessary to implement pure, lazy computation is an implementation detail, just like manual memory management or quantum fluctuations.
- Rusky 12y agoOne of those implementation details is hidden away underneath the hardware interface and not visible to software. There are plenty of better examples to make this point with- named variables and functions, control structures, etc. And these make it clear that the argument is really about the importance of this particular abstraction: where and when memory is used for which values.
- Peaker 12y agoSure, I don't think it is very important where the abstraction occurs for this argument though.