Thiago Negri <evoh...@gmail.com> writes: > 2011/12/28 Jon Fairbairn <jon.fairba...@cl.cam.ac.uk>: >> * 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 jon.fairba...@cl.cam.ac.uk http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html (updated 2010-09-14) _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
