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 cpa on Wednesday December 25, 2024 @08:08AM (#42508613)
Haskell calls it Ord, for ordinal. https://en.m.wikipedia.org/wiki/Ordinal_data_type
[ Parent | on HN ]
Re:What would it take to add refinement types to Rust? by DylanSp on Wednesday December 25, 2024 @09:46AM (#42509020)
Haskell's Ord typeclass is for ordering; it just represents types that have a total order, it doesn't represent ranges.
[ Parent | on HN ]
Re:What would it take to add refinement types to Rust? by cpa on Wednesday December 25, 2024 @11:50AM (#42509672)
My bad the ordinal data type class is Enum not Ord!
[ Parent | on HN ]