Skip to content

Topic

Type-Enforced Invariants

The practice of encoding a rule in a type or schema so that violating objects cannot be constructed, instead of documenting the rule and trusting callers to follow it.

Current clusters