e/Strict function

New Query

Information
has glosseng: 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.
lexicalizationeng: strict function
instance ofc/Functional languages
Meaning
German
has glossdeu: In der Informatik heißt eine Funktion streng, wenn gilt: Ist eines der Argumente undefiniert (\bot, bottom), so ist das Funktionsresultat ebenfalls undefiniert.
lexicalizationdeu: Strenge Funktion

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint