From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,cfbb90c56a313e70 X-Google-Attributes: gid103376,public X-Google-Thread: 10261c,cfbb90c56a313e70 X-Google-Attributes: gid10261c,public From: Gautier Subject: Re: From extended Pascals to Ada 95 guide Date: 2000/08/25 Message-ID: <39A668AB.26F88375@maths.unine.ch>#1/1 X-Deja-AN: 662341370 Content-Transfer-Encoding: 8bit References: <8o3s2a$9ph$1@nnrp1.deja.com> <8o4bfq$v0h$1@slb7.atl.mindspring.net> <39A655BE.18E89020@maths.unine.ch> X-Accept-Language: en Content-Type: text/plain; charset=iso-8859-1 X-Trace: 25 Aug 2000 14:38:03 +0100, mac13-32.unine.ch Organization: Maths - Uni =?iso-8859-1?Q?Neuch=E2tel?= MIME-Version: 1.0 Newsgroups: comp.lang.ada,comp.lang.pascal.misc Date: 2000-08-25T00:00:00+00:00 List-Id: > >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