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

Thiago Negri writes:

2011/12/28 Jon Fairbairn :

...

* 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.Fairbairn@cl.cam.ac.uk http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html (updated 2010-09-14)