RhymeZone: type safety definitions

Definitions of type safety:

noun: (programming, software compilation) the extent to which a programming language discourages or prevents type errors

(Definitions from Wiktionary)