type safety

Noun

 * 1)  the extent to which a programming language discourages or prevents type errors

Translations

 * Finnish: tyyppiturvallisuus
 * French: sûreté du typage
 * German: Typsicherheit, Typensicherheit