What would it take to add refinement types to Rust?
yoric.github.io
What would it take to add refinement types to Rust?
1–4 of 4 posts
Re: What would it take to add refinement types to Rust?
#2For what it's worth, with the uom[0] crate you can represent that type equality. It represents units as powers of SI units, so m^1s^-2. It does not have the nice error messages though
Re: What would it take to add refinement types to Rust?
#3Author has made significant contributions to Rust. This is a very serious article.
Re: What would it take to add refinement types to Rust?
#4Having refinement types in Rust would be a massive game changer. It would make it possible to write proven correct software directly in Rust. Hey even I would switch from C++ to Rust :)