wren ng thornton <w...@freegeek.org> writes: > On 12/28/11 10:23 AM, Jon Fairbairn wrote: >> Thiago Negri<evoh...@gmail.com> writes: >> >>> Lazy evaluation is one implementation of non-strict semantics, where >>> the arguments are evaluated only when they are needed. >> >> I would say this: >> >> * non-strict semantics require that no argument is evaluated >> unless needed. > > I'm not sure that's quite right.
I’m sure it’s not right (as was pointed out a while ago). I was in too much of a hurry to get to the next bit, namely giving a description of the difference between non-strict and lazy. 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 jon.fairba...@cl.cam.ac.uk _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe