(Difference between revisions)
(Ocaml and LISP)
Latest revision as of 16:54, 28 December 2008
Is the opposite of ... yeah guess what? ... the opposite of non-strict semantics. It means, that an undefined argument of a function leads to an undefined function value.
forall f. f undefined = undefined
It may be implemented by eager evaluation.