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

[Jon Fairbairn]

Thiago Negri <evohunz at gmail.com> writes:

> 2011/12/28 Jon Fairbairn <jon.fairbairn at 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.Fairbairn at cl.cam.ac.uk
http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html  (updated 2010-09-14)