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-7-bit
X-Google-Thread: 10261c,cfbb90c56a313e70
X-Google-Attributes: gid10261c,public
X-Google-Thread: 103376,cfbb90c56a313e70
X-Google-Attributes: gid103376,public
From: marcov@toad.stack.nl (Marco van de Voort)
Subject: Re: From extended Pascals to Ada 95 guide
Date: 2000/08/28
Message-ID: <slrn8qk4e9.26ft.marcov@toad.stack.nl>#1/1
X-Deja-AN: 663375721
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>
 <slrn8qcthd.25ck.marcov@toad.stack.nl> <39A6ABD9.634308AA@earthlink.net>
Organization: Eindhoven University of Technology, The Netherlands
User-Agent: slrn/0.9.6.2 (FreeBSD)
Newsgroups: comp.lang.ada,comp.lang.pascal.misc
Date: 2000-08-28T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <39A6ABD9.634308AA@earthlink.net>, Charles Hixson wrote:

>> >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...
>
>I don't know Delphi, but that's a static (as in not changing characteristics at run
>time) array.  There are also various more dynamic forms (e.g., unbounded strings), but
>that one was static.

then I went a step to far, and it is plain and simple a simple type.

type matrix33=array[1..3,1..3] of float;


You seem not to specify the element type in Lady Byron's language. Is that
the special part?

But that is only possible using 
- Dynamic vars
- interpreters
- Only types with the same size are allowed (e.g. only integers etc)


So what am I missing here?