A
strict function in the
denotational semantics of
programming languages is a
function f where
. The entity
, called
bottom, denotes an expression which does not return a normal value, either because it loops endlessly or because it aborts due to an error such as division by zero. A function which is not strict is called
non-strict. A
strict programming language is one in which user-defined functions are always strict.