Nächste Seite:
Typ-Prüfung als abstrakte Interpretation
Aufwärts:
Semantik
Vorherige Seite:
Randbemerkung: Anonyme Klassen in
Typen
außer arithmetischen Ausdrücken auch Boolesche:
3+4 == 1+6
bzw.
eq(add(3,4),add(1,6))
Wert-Typ muß Zahlen und Wahrheitswerte umfassen.
jede Funktion (add, equal) hat
Typ
: Anzahl und Typen der Argumente, Typ des Resultats
Bool equal (Number x, Number y); Number add (Number x, Number y);
Johannes Waldmann 2006-02-02