| Information | |
|---|---|
| has gloss | eng: A strict function in the denotational semantics of programming languages is a function f where f\left(\perp\right) = \perp. The entity \perp, 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. |
| lexicalization | eng: strict function |
| instance of | c/Functional languages |
| Meaning | |
|---|---|
| German | |
| has gloss | deu: In der Informatik heißt eine Funktion streng, wenn gilt: Ist eines der Argumente undefiniert (\bot, bottom), so ist das Funktionsresultat ebenfalls undefiniert. |
| lexicalization | deu: Strenge Funktion |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint