Skip to main content

Use this tag for questions about ensuring that type systems, type checkers, or formal models of a language are sound. Soundness is a formal property about ensuring that a system only permits valid statements under its rules.

Soundness is the property of a formal system that it only permits creation of true statements, while not necessarily allowing all true statements. Type systems are sound when they reject all programs that are incorrect with regard to the types in the system.

Key questions

Related tags