Typ-Prüfung bei Funkionen (Unterprogrammen)

(ensprechend für Funktionen mit mehreren Argumenten)


Beachte Analogie zur Aussagenlogik (A und B sind Aussage-Variablen, $ \to$ ist Implikation):

wenn A$ \to$B und A ist wahr, dann ist B wahr.

(= Curry-Howard-Isomorphie)



Johannes Waldmann 2005-01-28