Dimensioned is a Rust library for compile-time type checking of arbitrary unit systems. It has its own website which includes some in-depth tutorials.
The library documentation is located here.
Here is a short example of its use:
externcrate dimensioned;use dimensioned::si::{one, m, s};fnmain(){let x = 6.0* m;let t = 3.0* s;let v = 2.0* m/s;assert_eq!(v, x/t);}Note: This library is unstable, and you should expect breaking changes for now. It also depends on unstable Rust features.