Strict function (original) (raw)
In der Informatik heißt eine einstellige Funktion strikt, wenn gilt:Ist ihr Argument undefiniert , so ist das Funktionsresultat ebenfalls undefiniert.Also wenn: . Eine mehrstellige Funktion kann jeweils in einzelnen Argumenten oder in allen Argumenten strikt sein. Sind alle Argumente strikt, dann ist die Funktion strikt.
Property | Value |
---|---|
dbo:abstract | In der Informatik heißt eine einstellige Funktion strikt, wenn gilt:Ist ihr Argument undefiniert , so ist das Funktionsresultat ebenfalls undefiniert.Also wenn: . Eine mehrstellige Funktion kann jeweils in einzelnen Argumenten oder in allen Argumenten strikt sein. Sind alle Argumente strikt, dann ist die Funktion strikt. (de) 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. A strict function in the denotational semantics of programming languages is a function f where . The entity , 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. A function that is not strict is called non-strict. A strict programming language is one in which user-defined functions are always strict. 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. Functions having more than one parameter can be strict or non-strict in each parameter independently, as well as jointly strict in several parameters simultaneously. 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, ⊥ {\displaystyle \perp } |
dbo:wikiPageID | 319252 (xsd:integer) |
dbo:wikiPageLength | 2867 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 985184858 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Non-strict_programming_language dbr:Denotational_semantics dbr:Call_by_value dbr:Short-circuit_evaluation dbr:Function_(computer_programming) dbr:Function_(mathematics) dbr:Bottom_type dbr:Calling_convention dbr:Strict_programming_language dbr:Computer_programming dbr:Computer_science dbr:Functional_programming dbc:Denotational_semantics dbr:Eager_evaluation dbr:Lazy_evaluation dbr:Evaluate dbr:Parameter dbc:Formal_methods dbc:Evaluation_strategy dbr:Programming_language dbr:Strictness_analysis dbr:Control_structure dbr:Compilation_(programming) |
dbp:wikiPageUsesTemplate | dbt:Refimprove dbt:Reflist |
dct:subject | dbc:Denotational_semantics dbc:Formal_methods dbc:Evaluation_strategy |
rdf:type | yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Know-how105616786 yago:Language106282651 yago:Method105660268 yago:PsychologicalFeature100023100 yago:WikicatFunctionalLanguages yago:WikicatFormalMethods |
rdfs:comment | In der Informatik heißt eine einstellige Funktion strikt, wenn gilt:Ist ihr Argument undefiniert , so ist das Funktionsresultat ebenfalls undefiniert.Also wenn: . Eine mehrstellige Funktion kann jeweils in einzelnen Argumenten oder in allen Argumenten strikt sein. Sind alle Argumente strikt, dann ist die Funktion strikt. (de) 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. A strict function in the denotational semantics of programming languages is a function f where . The entity , 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. A function that is not strict is called non-strict. A strict programming language is one in which user-defined functions are always strict. (en) |
rdfs:label | Strikte Funktion (de) Strict function (en) |
owl:sameAs | freebase:Strict function wikidata:Strict function dbpedia-de:Strict function https://global.dbpedia.org/id/2E9v4 yago-res:Strict function |
prov:wasDerivedFrom | wikipedia-en:Strict_function?oldid=985184858&ns=0 |
foaf:isPrimaryTopicOf | wikipedia-en:Strict_function |
is dbo:wikiPageDisambiguates of | dbr:Strict_(disambiguation) |
is dbo:wikiPageRedirects of | dbr:Non-strict_function dbr:Strict_semantics |
is dbo:wikiPageWikiLink of | dbr:Non-strict_function dbr:Ωmega dbr:Short-circuit_evaluation dbr:Strict_programming_language dbr:Function-level_programming dbr:Strict_(disambiguation) dbr:Haskell dbr:Boolean_algebras_canonically_defined dbr:Macro_(computer_science) dbr:FP_(programming_language) dbr:Strictness_analysis dbr:Evaluation_strategy dbr:Parametricity dbr:Strict_semantics |
is foaf:primaryTopic of | wikipedia-en:Strict_function |