type safety

Type safety is the extent to which a programming language discourages or prevents type errors.
Some programming language, such as C, C++ are not type safe.