Regeln zur Typprüfung

...bei geschachtelten Funktionsaufrufen

Beispiel

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

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


(Curry-Howard-Isomorphie)



Johannes Waldmann 2008-01-23