[Haskell] Image manipulation

[Ketil Malde]

Bjorn Lisper <lisper at it.kth.se> writes:

> Wait, Jerzy. Haskell implementations do not have to be lazy as long as they
> preserve the more abstract semantics. Optimistic evaluation has been
> considered, for instance by Robert Ennals.

I'm not sure if the GC hack proposed by Wadler¹ that lets the garbage
collector replace "fst (a,b)" with "a" (and similar for other unchecked
selectors) counts as optimistic evaluation, but I wonder what the
status of this is.  GHC doesn't seem to do it, and I wonder if there
is any particular reason?  Too specific?

As I've posted about previously, I use concurrency to work around the
space leak, but it'd be nice to be able to do without, especially as
-smp is not compatible with -prof.

-k

¹) http://citeseer.ist.psu.edu/wadler87fixing.html
-- 
If I haven't seen further, it is by standing in the footprints of giants