- Strenge Funktion
-
Dieser Artikel wurde aufgrund von inhaltlichen Mängeln auf der Qualitätssicherungsseite der Redaktion Informatik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Informatik auf ein akzeptables Niveau zu bringen. Hilf mit, die inhaltlichen Mängel dieses Artikels zu beseitigen und beteilige dich an der Diskussion! (+)
In der Informatik heißt eine Funktion streng, wenn gilt: Ist eines der Argumente undefiniert (, 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
Wikimedia Foundation.