scrambled
scrambled
Concept

Refined type

Modified just now
Books JourneyProgramming Language Theory Statusreviewing Tags
  • language-feature-design
  • type theory

A type that carries additional constraints beyond the base type, such as "positive integers" or "non-null strings". Enables more precise specifications and stronger compile-time guarantees.

A type that carries additional constraints beyond the base type, such as "positive integers" or "non-null strings". Enables more precise specifications and stronger compile-time guarantees.