Typüberprüfung

Typüberprüfung wird verwendet, um ein Programm vor der Ausführung zu überprüfen. Dadurch werden Datentypwerte und -syntax überprüft. Der Hauptzweck eines Typsystems in einer Programmiersprache besteht darin, die Wahrscheinlichkeit von Bugs im Programm aufgrund von Typfehlern zu verringern.