dimensioned[1] got me interested in Rust. I’m not far enough to recommend it, but the concept seems right.

[1] https://github.com/paholg/dimensioned