Christian Sievers wrote:
> 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?)
`c*n' and `n+k' are equally abominable. Cayenne has neither.
--
-- Lennart
