出典:Wikipedia
出典:『Wikipedia』 (2011/03/20 00:18 UTC 版)
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.