[Haskell] Image manipulation
stefanor at cox.net
Wed Oct 31 21:15:16 EDT 2007
On Wed, Oct 31, 2007 at 10:58:40AM +0100, Ketil Malde wrote:
> 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?
GHC nominally does do it (look for 'selector thunks' in the RTS and
commentary), but it doesn't work and we don't know why.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell/attachments/20071031/bf49087f/attachment.bin
More information about the Haskell