Eine strenge Funktion in der denotational Semantik von Programmiersprachen ist eine Funktion f wo. Die Entität, genannt Boden, zeigt einen Ausdruck an, der keinen normalen Wert zurückgibt, entweder weil es sich endlos schlingt, oder weil es wegen eines Fehlers wie Abteilung durch die Null abbricht. Eine Funktion, die nicht streng ist, wird nichtstreng genannt. Eine strenge Programmiersprache ist diejenige, in der benutzerbestimmte Funktionen immer streng sind.

Intuitiv entsprechen nichtstrenge Funktionen zu Kontrollstrukturen. Betrieblich ist eine strenge Funktion diejenige, die immer sein Argument bewertet, ist eine nichtstrenge Funktion diejenige, die einige seiner Argumente nicht bewerten kann. Funktionen, die mehr als einen Parameter haben, können streng oder in jedem Parameter unabhängig nichtstreng, sowie in mehreren Rahmen gleichzeitig gemeinsam streng sein.

Als ein Beispiel kann vom Ausdruck von vielen Programmiersprachen als eine Funktion von drei Rahmen gedacht werden. Diese Funktion ist in seinem ersten Parameter streng, da die Funktion wissen muss, ob sein erstes Argument zum wahren oder zum falschen bewertet, bevor es zurückkehren kann; aber es ist in seinem zweiten Parameter, weil (zum Beispiel), sowie nichtstreng in seinem dritten Parameter, weil (zum Beispiel) nichtstreng. Jedoch ist es in seinen zweiten und dritten Rahmen seitdem gemeinsam streng und.

Siehe auch

• Strenge-Analyse