Die Sprache, in der der Typ jeder Variablen, Ausdrucks oder Funktion vor der Kompilierung oder zur Laufzeit festgelegt wird, und der Compiler oder die Laufzeitumgebung die Übereinstimmung der Typen bei Operationen streng überprüfen. Dies verhindert Fehler im Zusammenhang mit Typinkonsistenzen in früheren Entwicklungsphasen.

Zurück Als nächstes