Also known as type soundness, type-safe, type safety typing, type safety system, type safety, safety typing
property of a type system that prevents certain erroneous or undesirable program behaviours
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).