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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,5d4ade2fd8fd67c6
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!gegeweb.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Legit Warnings or not
Date: Wed, 3 Aug 2011 11:01:43 +0200
Organization: cbb software GmbH
Message-ID: <1wg90w555yp7f.1lhp1szkc0cu5$.dlg@40tude.net>
References: 
 <531193e0-3305-4292-9ed8-0176226c1d00@x12g2000yql.googlegroups.com>
 <j086nn$aau$1@tornado.tornevall.net> <j08sp2$8qi$2@dont-email.me>
 <1rx6dwrxmc81p.eazb4fjqztox$.dlg@40tude.net> <j0d52c$qq2$1@munin.nbi.dk>
 <bvr7wfbofhal$.10mess7c3uv9j.dlg@40tude.net> <j0nbbi$qms$1@munin.nbi.dk>
 <1hi6gva8jhf7o.tq1yp29jn3qu.dlg@40tude.net> <j0qb16$rah$1@munin.nbi.dk>
 <go2nk5b4odfy.fpdttridydu6$.dlg@40tude.net> <j0ssgf$fia$1@munin.nbi.dk>
 <a47trh2rfxvh.fy7nhwxd9kpi$.dlg@40tude.net> <j0viio$3qp$1@munin.nbi.dk>
 <gfjkj1eowd8x.1q86rn9zvkfd.dlg@40tude.net> <j178c9$8gn$1@munin.nbi.dk>
 <110nibt4tsn7q.162t6eli286tt.dlg@40tude.net> <j19q9s$b7i$1@munin.nbi.dk>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: CEDal7W0jBNc7m2R8Nw0WQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: g2news1.google.com comp.lang.ada:20453
Date: 2011-08-03T11:01:43+02:00
List-Id: <comp.lang.ada>

On Tue, 2 Aug 2011 16:30:24 -0500, Randy Brukardt wrote:

> Either you are allowing changing the object to anything in the class, 
> or you are not allowing it to be changed at all. No middle ground there.

When I declare

   type A is array (...) of S'Class;

1. Are all elements constrained to same specific type?

2. May object types change after being initialized?

3. Which rules apply to view conversions, e.g. T'Class (A (10)). Could it
be then assigned to which types, same, others?

4. In which relation are slices of the array and arrays of T'Class when T
is related to S? [Classes of arrays vs. arrays of classes vs. classes of
arrays of classes etc.]

5. I am horrified what kind of "accessibility rules" might get invented for
passing elements of this "array" here and there.

[The behavior of types upon composition is a very non-trivial issue.]

> And there is no "control over copying". These are normal "parts" of the 
> object, and they're always copied. If you don't want copying, then you need 
> to use some sort of reference (cursor or access type). (Of course, an 
> implementation can always do an "as-if" implementation, but the model is 
> always deep copying.)

Which would make the compiler implementation unusable in so many cases.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de