Refinement Types
← Back to Advanced Type Features
Types augmented with logical predicates that constrain the set of valid values. For example, a refinement type for positive integers ensures at compile time that only values greater than zero are used, catching domain constraint violations statically.