Category:Programming languages supporting units of measure

Programming languages annotation or type system that supports units of measure checking for numbers.