Strikte Funktion

In der Informatik heißt eine Funktion streng, wenn gilt: Ist eines der Argumente undefiniert ($\bot$, bottom), so ist das Funktionsresultat ebenfalls undefiniert.

Beispiel

In vielen Programmiersprachen ist es möglich, über nicht strenge Verknüpfungen Berechnungen kurzzuschließen:

byte a;
boolean b = (a == 0 || 1/a > 0);

Ist a hier gleich 0, so wird der hintere Teil des Ausdruckes nicht mehr ausgewertet. Wäre das Oder (||) hier streng, so wäre b undefiniert, falls a gleich 0 wäre.

Siehe auch

• Bedarfsauswertung und strenge Auswertung bei funktionalen Sprachen