type-safe

Short definition from Wiktionary

Adjective

1. 1
   Not susceptible to the class of programming errors that could lead to items of one data type being incorrectly treated as another type.