[Haskell-cafe] strict, lazy, non-strict, eager

David Barbour dmbarbour at gmail.com
Mon Jan 16 20:51:29 CET 2012

Full beta-reduction is certainly not strict but also doesn't guarantee
terminate even where it is possible (i.e. it might indefinitely unfold a
value without making progress). I don't think there is much you can say
about non-strictness and termination.



On Mon, Jan 9, 2012 at 3:01 AM, Jon Fairbairn <jon.fairbairn at cl.cam.ac.uk>wrote:

> Perhaps what I should have said to be almost as succinct but
> this time accurate is “non-strict semantics requires that the
> evaluation strategy terminate if there is any evaluation
> strategy that terminates”?
> --
> Jón Fairbairn                                 Jon.Fairbairn at cl.cam.ac.uk
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120116/c97eddef/attachment.htm>

More information about the Haskell-Cafe mailing list