Was ist der Hauptvorteil der Typprüfung durch den Compiler bei einer Sprache mit statischen Typen?

Antwort: A. Operationen und Zuweisungen mit unpassenden Typen lassen sich vor der Ausführung finden

Bei der Typprüfung lassen sich Fehler wie der Versuch, eine Ganzzahl und eine Zeichenkette zu addieren, oder die Übergabe eines Arguments mit falschem Typ an eine Funktion vor der Ausführung des Programms finden. Fehler werden früh gefunden, und die Typinformation hilft dem Compiler zudem, effizienten Maschinencode zu wählen. Es lassen sich jedoch nicht alle wertabhängigen Fehler beseitigen, etwa die Division durch 0 oder Zugriffe außerhalb von Arraygrenzen. Auch wird das Programm durch die Typdeklarationen nicht unbedingt kürzer.