Find the word definition

Wiktionary
type-safe

a. (context computing English) Not susceptible to the class of programming errors that could lead to items of one data type being incorrectly treated as another type.