News for hackers. Stuff that matters.

A comment on What would it take to add refinement types to Rust?. Parent comment

Re:What would it take to add refinement types to Rust? by evertedsphere on Wednesday December 25, 2024 @02:52AM (#42507567)
it is a refinement type over the base number type, where the predicate constrains the number to lie in an interval

e.g. { x:Int8 | 1 ≤ x ≤ 12 }

[ Parent | on HN ]

There are no comments on this comment yet.