Re: Disallowing Pre-Defined Operations

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

In article <38D6541E.D2D654AB@earthlink.net>,
  Charles Hixson <charleshixsn@earthlink.net> wrote:
> OTOH, I am operating off of memories of NASA public reports, I
> didn't go digging.  I could have the details wrong for this
> time.

It won't take much digging, just go back to the thread on CLA
that discussed this in detail to see why this was not simply
a language issue.

> That wouldn't convince me that the general principle was wrong
> (but then nearly all of my work has been in a language other
> than Ada...perhaps Ada types are already strong enough to
> easily handle the problem).

Well certainly if you are just talking about different units,
e.g. yards and meters, these would simply be different integer
types in an Ada program, and there is no possibility of
accidentally assigning one to another. Any reasonable typing
system should be at least this strong (although certainly there
are popular very weakly typed languages around and in common
use :-)



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