Re: Units of measure

[Christian Sievers]

Anatoli Tubman wrote:

> I once wrote a C++ template library that did exactly that.  Arbitrary units,
> rational exponents -- you can have (m^(3/2)/kg^(5/16)) dimensioned value.
> All at compile time, without runtime checking whatsoever.

Is there any sense physically in rational exponents?
If not, we could use this extra information for less permissive type
checking, for example only allowing a square root from an argument
that has only even exponents.
(Cayenne doesn't happen to have c*n-patterns?)

Christian Sievers