David Teller personal blog
What would it take to add refinement types to Rust?
A few years ago, on a whim, I wrote YAIOUOM. YAOIOUM was a static analyzer for Rust that checked that the code was using units of measures correctly, e.g. a distance in meters is not a distance in centimeters, dividing meters by seconds gave you a value in m / s (aka m * s^-1). YAIOUOM was an example of a refinement…
- Points
- 136
- HN comments
- 94
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 23, 2024 | What would it take to add refinement types to Rust? by Yoric | 136 | 94 |
