Re: Units of measure

[a disembodied voice emerging from the chaos of reality]

I think the original poster's idea of using sets of exponents would work
better.  Then Prod could be a function which adds the relevant exponents,
and Quod subtracts, so your units would be automatically reduced.
But, I have no idea how to do this in Haskell since I'm still learning the
language :)


On Thu, 26 Aug 1999, Andreas Rossberg wrote:

| 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.


-- 
cliff crawford   http://www.people.cornell.edu/pages/cjc26/
            There are more stars in the sky than there are
-><-        grains of sand on all the beaches of the world.