On Tue, 2008-06-03 at 20:12 -0400, Ronald Guida wrote:
Don Stewart wrote:
2. Is there any way to systematically search for or detect laziness leaks?
Profiling, and looking at the Core. Being explicit about the evaluation strategy you want is a fine idea though.
Albert Y. C. Lai wrote
A true cause of laziness is in accumulating a chain of tail's and snocs without intermediate forcing, as observed.
So I just thought of something. If laziness leads to laziness leaks, then is there such a thing as a strictness leak? I realized that the answer is yes.
I ask a similar question here albeit for a much narrower and more technical notion: http://lambda-the-ultimate.org/node/2273#comment-40156 and come to the same conclusion (at least for an even more narrow notion).