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/2

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/units-of-measure-in-f-part-one-introducing-units/ 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.