Typsicherheit bezeichnet den Zustand (einer Programmausführung), bei dem die Datentypen gemäss ihren Definitionen regelgemäss verwendet werden und dementsprechend keine Typverletzung auftritt.
Ein Programm ist typsicher, wenn bei seinen möglichen Ausführungen keine Typverletzung auftreten kann.
Siehe auch: Typisierung