Re: SI Units Checked and Unchecked

[Paul Rubin <no.email@nospam.invalid>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>>> No language change can make dynamic cases static.
>> I think the idea is to allow constraints on generic instantiation
>> precise enough to use them for unit checking.
> Dynamic is not static.

Well the idea is to check the constraints statically.  Obviously in
cases where values can be introduced at runtime, there must be a way to
connect them up with units, through protected methods or whatever.
Once they are in the system, the types track them.

I don't understand why there is even a desire in a scientific-style
program to track quantities in more than one dimensionally equivalent
unit (e.g. liters vs gallons).  Just convert everything to a uniform set
of units (probably SI) when they come into the system, and then do all
internal calculations with that unit set.