Type Checking ist die Überprüfung der Integrität und Genauigkeit von Computercode in verschiedenen Programmiersprachen. Type Checking dient dazu, Sequenzen von informatischem
Code zu prüfen und umfasst oft die Überprüfung von Funktionen, Modulen, Ausdrücken, Variablen und anderen verwandten Datenstrukturtypen. Dieses Verfahren wird normalerweise von Programmierern eingesetzt, um Fehler in Softwareprogrammen und
Netzwerkinfrastrukturen vor dem ersten Einsatz zu beseitigen oder zu reduzieren. Type Checking kann statisch (während der Kompilierung), dynamisch (während der Laufzeit) oder durch eine Kombination aus beidem erfolgen, je nachdem, welche Programmiersprache verwendet wird.