Re: Disallowing Pre-Defined Operations

[Robert Dewar <robert_dewar@my-deja.com>]

In article <38D013EF.1F431E34@cadence.com>,
  Paul Graham <pgraham@cadence.com> wrote:
> Things get complicated
> when you
> try to map the physical world onto unit data types.  For
instance:
>
>     type time is ...
>     type distance is ...
>     type velocity is ...
>     type acceleration is ...
>     type mass is ...
>
>     function "/"(x : distance; y : time) return velocity;
>     function "/"(x : velocity; y : time) return acceleration;
>     function "*"(x : mass; y : acceleration) return force;
>     function "*"(x : force; y : distance) return work;

This is a very familiar issue. The above approach is only one
of several ways to approach this problem, other approaches
have been discussed in detail in past threads.


Sent via Deja.com http://www.deja.com/
Before you buy.