In computer science and computer programming, a function f is said to be strict if, when applied to a non-terminating expression, it also fails to terminate.
, called bottom, denotes an expression that does not return a normal value, either because it loops endlessly or because it aborts due to an error such as division by zero.
Intuitively, non-strict functions correspond to control structures.
Operationally, a strict function is one that always evaluates its argument; a non-strict function is one that might not evaluate some of its arguments.
As an example, the if-then-else expression of many programming languages, called ?
: in languages inspired by C, may be thought of as a function of three parameters.
This function is strict in its first parameter, since the function must know whether its first argument evaluates to true or to false before it can return; but it is non-strict in its second parameter, because (for example) if(false,
In a non-strict functional programming language, strictness analysis refers to any algorithm used to prove the strictness of a function with respect to one or more of its arguments.
Such functions can be compiled to a more efficient calling convention, such as call by value, without changing the meaning of the enclosing program.