...bei geschachtelten Funktionsaufrufen
- Funktion f
mathend000# hat Typ A→B
mathend000#
- Ausdruck X
mathend000# hat Typ A
mathend000#
- dann hat Ausdruck f (X)
mathend000# den Typ B
mathend000#
Beispiel
String x = "foo"; String y = "bar";
Boolean.toString (x.length() < y.length()));
(Curry-Howard-Isomorphie)
Johannes Waldmann
2014-03-31