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: 103376,470860aa3e635a7
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: GNAT for MS Visual Studio
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <ltfy11y10v.fsf@hod.lan.m-e-leypold.de>
 <TJSdncwgUrlA-2HbnZ2dnUVZ_ramnZ2d@comcast.com>
 <4xsl4zw3bp.fsf@hod.lan.m-e-leypold.de>
 <YcCdnaCp_dEWKmLbnZ2dnUVZ_qqgnZ2d@comcast.com> <fdsf0r$q0t$1@jacob-sparre.dk>
 <1191357491.860178.230380@22g2000hsm.googlegroups.com>
 <4702ADCC.7080209@obry.net>
 <1191439439.120567.172630@g4g2000hsf.googlegroups.com>
 <4703F02D.3030207@obry.net>
 <1191682021.844225.236870@g4g2000hsf.googlegroups.com>
 <4707A3D0.3070702@obry.net> <1tq0h0fb74sxe$.2ys0qzmfxcqo.dlg@40tude.net>
 <4707C0CC.1000108@obry.net> <1aa677sd3f3ox.k8awuo7pj13r.dlg@40tude.net>
 <1191702767.598768.210960@o80g2000hse.googlegroups.com>
 <1aqbpv0czr253.wrmcd70o5se5$.dlg@40tude.net>
 <1191792620.535744.132500@50g2000hsm.googlegroups.com>
 <liz4nefx8mhu$.qpy964l7mn99$.dlg@40tude.net>
 <1191839564.304635.30030@d55g2000hsg.googlegroups.com>
 <46md5qdz3w51.uev498rne1un.dlg@40tude.net>
 <1191876057.894364.122680@22g2000hsm.googlegroups.com>
Date: Tue, 9 Oct 2007 10:32:09 +0200
Message-ID: <kr50ppyqjkqk.1iwgdvmih07i4.dlg@40tude.net>
NNTP-Posting-Date: 09 Oct 2007 10:26:09 CEST
NNTP-Posting-Host: ab2ac02b.newsspool2.arcor-online.net
X-Trace: 
 DXC=mTHIQJO@f<GA<A_d>@P]\DA9EHlD;3YcB4Fo<]lROoRA<`=YMgDjhgBO9WU??BR[nO[6LHn;2LCVN7enW;^6ZC`DIXm65S@:3>Oa<GHblNL=YB
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:2377
Date: 2007-10-09T10:26:09+02:00
List-Id: <comp.lang.ada>

On Mon, 08 Oct 2007 13:40:57 -0700, Maciej Sobczak wrote:

> We cannot say "I only read this container" and expect anything based
> on AARM, because there is nothing in AARM that would give any meaning
> to this "reading".

Well, I agree that "reading" need to be clarified, but as I said before,
IMO the problem is deeper. First we need to define pure subprograms and
sharable objects. Then we would be able to say, for example, that reading
an Integer is safe because in-instances are sharable and all methods of are
pure. Then we could proceed to aggregation types and their operations. Only
after that we could say that reading an Integer component of a record type
is safe. A read-safe container type could be specified in the same way.

> Calling a subprogram is not "reading".

Right, the reverse is true: "reading" is calling a [maybe built-in]
subprogram "Read."

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