• The extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors. Programming languages are often colloquially classified as strongly typed or weakly typed (also loosely typed) to refer to certain aspects of type safety. ← Wikipedia

1. Related terms: Type · MIME type · Primitive · Type assertion
2. Previous term: Type predicate function
3. Next term: Type selector
4. Random term: Information security operations center (webglossary.info/random 🎲)