What would it take to add refinement types to Rust? yoric.github.io 10 points by leosarev 9 hours ago
conradludgate 17 minutes ago For 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[0] https://docs.rs/uom/latest/uom/
For 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
[0] https://docs.rs/uom/latest/uom/