Re: From extended Pascals to Ada 95 guide

[Gautier <gautier.demontmollin@maths.unine.ch>]

> >The main problem with Modula-2 is that it keeps the rigid types
> >of "classic" Pascal. No problem for teaching or write a
> >"Pascal in Pascal" compiler, but for the real world you need
> >a flexible typing like "array(integer range <>) of..."

Marco:

> That type safety avoids bugs. In the real world where you whack a GUI for
> some users that is less of a problem. In subs, you don't want that.

Do you assume that Ada's "type vector is array(integer range <>) of float"
is not type safe ? Then this is a misunderstanding! Maybe you think it
is a sort of *float � la C ? Not at all: simply you declare variables
v: vector(1..100) and so on; you can pass them into "+"(v1,v2: vector) functions
and you have the range with attributes v1'first, v1'last, v1'range,...
To be even more reassured, use subtypes: "subtype matrix33 is matrix(1..3,1..3);"
It's that simple: type safety of Pascal, flexibility of C/Fortran!

As for submarines, you're right. Since C/C++ is said to replace Ada in US embedded
systems.. glups...

______________________________________________________
Gautier  --  http://members.xoom.com/gdemont/gsoft.htm