Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
cpa
18 days ago
|
parent
|
context
|
favorite
| on:
What would it take to add refinement types to Rust...
Haskell calls it Ord, for ordinal.
https://en.m.wikipedia.org/wiki/Ordinal_data_type
DylanSp
18 days ago
[–]
Haskell's Ord typeclass is for ordering; it just represents types that have a total order, it doesn't represent ranges.
cpa
18 days ago
|
parent
[–]
My bad the ordinal data type class is Enum not Ord!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
