Regeln zur Typprüfung

...bei geschachtelten Funktionsaufrufen

• Funktion f hat Typ A→B
• Ausdruck X hat Typ A
• dann hat Ausdruck f (X) den Typ B

Beispiel

String x = "foo"; String y = "bar";

Boolean.toString (x.length() < y.length()));

(Curry-Howard-Isomorphie)