Numbers within units (50g)

[Claudio L.]

(09-17-2015 06:22 AM)Tugdual Wrote:  Interesting discussion. I believe that the original 50g logic is correct.
Conceptually, a UOM is not a variable attribute but a simple multiplication.
50_m is equivalent to 50*m and then UOM can be handled as symbols.

This is powerful and aligned with what we do in physics and totally explains side effect.

The logic is indeed correct. My question was if it has any use, or in other words, if a compiler *needs* to specifically deal with units like 'm/2' or 'm^(2+3)'.
I can see one case where it needs to be: fractional exponents like m^(2/3)
The 50g would transform this exponent to a real 0.6666666667. I'll see if I can keep it as a fraction, that would be a nice improvement over the current system.