[kognate]

You can do this sort of thing with Ada's type system. There is also a blog post about units of measure in F# https://blogs.msdn.microsoft.com/andrewkennedy/2008/08/29/un...

It's a pretty niche topic. You can do this in a language like c++ or even python but unit aware calculations aren't a requirement for a lot of systems.