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.
Regards, Dave On Mon, Jan 9, 2012 at 3:01 AM, Jon Fairbairn <[email protected]>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 [email protected] > > > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
