Thiago Negri <[email protected]> writes: > 2011/12/28 Jon Fairbairn <[email protected]>: >> * non-strict semantics require that no argument is evaluated >> unless needed. > > That's not the case on optimistic evaluation.
Oops, yes. I should have said something like “non-strict semantics require that evaluation should terminate if there is a terminating reduction order” but went for something snappier (and missed). -- Jón Fairbairn [email protected] http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html (updated 2010-09-14) _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
