F# has had typed units of measure for over a decade, with Hindley-Milner style type-inference, so you can do stuff like let foo x y = (x:int<m>) * y + 10<m/

F# has had typed units of measure for over a decade, with Hindley-Milner style type-inference, so you can do stuff like let foo x y = (x:int<m>) * y + 10<m/s>;; And it infers that y has type <1/s>. You can add whatever dimensional types you want.