Unterprogramme und Typen

• Für jedes Unterprogramm müssen die Typen der Argumente und des Resultats festgelegt werden.
• Bei jeder Verwendung eines Unterprogramms prüft der Compiler (!), ob die Typen der verwendeten Argumente und des Resultats mit der Deklaration übereinstimmen.
• Die Prüfung findet nur einmal statt: zur Compile-Zeit -- ist also zur Laufzeit nicht mehr nötig.
• möglichst frühe und möglichst strenge Typ-Prüfung verhindert Laufzeitfehler und ermöglicht schnellere Programm-Ausführung.