3 ms·
The most benign effect of them all is laziness. Haskell uses this in lieu of all other effects, basically. So memoizing data structures, or a higher order func
by jonsterling 12y ago
The most benign effect of them all is laziness. Haskell uses this in lieu of all other effects, basically.
So memoizing data structures, or a higher order function for memoizing, utilizes a "benign effect".
- tel 12y agoSo extensionally equal simply means that there is a model with and without the effect such that extensionally, according to some model of observation, we cannot discern the existence of the effect? So, laziness is benign in total fragments.
- jonsterling 12y agoI wasn't thinking about models, but perhaps you could? I just mean that you get the same results for equal inputs; laziness is fine in this respect (but not in the presence of some other effects).