Etymology
Today it means: The extent to which a programming language is type-safe. Full definition →
From type + safety.
Etymology from Wiktionary, CC BY-SA 4.0.