- 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
This term is sponsored by: your name/company?
- Previous term: Type predicate function
- Next term: Type selector
- Random term: CTR (webglossary.info/random 🎲)