Wikipedia schreibt:
Der Nutzen von Typisierung zur Vermeidung (oder dem möglichst frühzeitigen Finden) von Fehlern scheint mir offensichtlich.Eine Typisierung (engl. typing) dient in der Informatik dazu, dass die Objekte (hier Objekte im mathematisch-abstrakten Sinne verstanden) der Programmiersprachen, wie z. B. Variablen, Funktionen oder Objekte (im Sinne der objektorientierten Programmierung) korrekt verwendet werden. Das Hauptziel ist die Vermeidung von Laufzeitfehlern.
Gruß, Little John