Someone implemented this idea of typed units for the Nim programming language: https://github.com/def-/nim-units/blob/master/units.nim#L216