Re: Units of measure

[Andreas Rossberg]

"D. Tweed" wrote:
> 
> Isn't the issue a bit weirder than this in that you've also got pure
> numbers which ought be usable with the same operators (*$,etc)

You are right, I overlooked that. But this is not even the most serious
problem, overloading the operators accordingly might be possible with
MPTCs, I think. The hard problem is that you cannot establish equalities
like

        Prod a (Quot b a)  =  b

Sigh.

        - Andreas

-- 
Andreas Rossberg, [EMAIL PROTECTED]

:: be declarative. be functional. just be. ::