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