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: marcov@toad.stack.nl (Marco van de Voort)
Subject: Re: From extended Pascals to Ada 95 guide
Date: 2000/08/25
Message-ID: <slrn8qcthd.25ck.marcov@toad.stack.nl>#1/1
X-Deja-AN: 662360176
Content-Transfer-Encoding: 8bit
References: <8o3s2a$9ph$1@nnrp1.deja.com>
 <8o4bfq$v0h$1@slb7.atl.mindspring.net> <39A655BE.18E89020@maths.unine.ch>
 <slrn8qcof2.sce.marcov@snail.stack.nl> <39A668AB.26F88375@maths.unine.ch>
Organization: Eindhoven University of Technology, The Netherlands
Content-Type: text/plain; charset=iso-8859-1
User-Agent: slrn/0.9.6.2 (FreeBSD)
Mime-Version: 1.0
Newsgroups: comp.lang.ada,comp.lang.pascal.misc
Date: 2000-08-25T00:00:00+00:00
List-Id: <comp.lang.ada>

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

I probably misread then. I assymed you were comparing with C. (instead of
Modula or Ada)

 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!

Sounds like Delphi style dynamic arrays. 

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