I've seen a few libraries that attempt to put strong unit types into languages, to use the type system to ensure correctness. In rust I'm familiar with https:/

I've seen a few libraries that attempt to put strong unit types into languages, to use the type system to ensure correctness. In rust I'm familiar with https://docs.rs/uom/latest/uom/ https://docs.rs/uom/latest/uom/ and typescript I've seen safe-units https://jscheiny.github.io/safe-units/ https://jscheiny.github.io/safe-units/ used.