type safety

== English == === Etymology === From type +‎ safety. === Noun === type safety (uncountable) (programming, software compilation) The extent to which a programming language is type-safe. ==== Related terms ==== typesafe, type-safe ==== Translations ====