Typsicherheit bezeichnet den Zustand (einer Programmausführung), bei dem die
Datentypen gemäß ihren Definitionen in der benutzten
Programmiersprache verwendet werden und keine
Typverletzungen auftreten. Werden dementsprechend Typfehler spätestens zur
Laufzeit erkannt, spricht man von „typsicheren Sprachen“. Typsicherheit herzustellen ist Aufgabe des
Compilers bzw.
Interpreters.