More languages should have a facility for keeping track of units and doing conversions, regardless of whether it's done in the type system or at runtime.
Making this a part of the type system seems a little strange to me. Obviously it's nice to get warnings at compile-time or in the IDE. But I keep trying to imagine how you might make a feature like this useful as a parameter to strings, or a user-defined type, and with functions other than the arithmetic operators.
Making this a part of the type system seems a little strange to me. Obviously it's nice to get warnings at compile-time or in the IDE. But I keep trying to imagine how you might make a feature like this useful as a parameter to strings, or a user-defined type, and with functions other than the arithmetic operators.