type safety

Short definition from Wiktionary

Noun

The extent to which a programming language is type-safe.

We haven’t written up type safety yet: Simple and Standard meanings, examples and a quiz.