A term from mathematical semantics, in particular domain theory. A non-strict function is one that preserves the bottom element of its domain, that is, the result is again bottom. This term is sometimes carelessly used to mean lazy (as in call-by-need), but laziness is a property of operational rather than denotational semantics. Laziness implies non-strictness, but the converse does not hold.

Log in or register to write something here or to contact authors.