[Haskell-cafe] Laziness leaks

[Derek Elkins]

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).