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,229ea0001655d6a2
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder3.cambrium.nl!feed.tweaknews.nl!newsfeed0.kamp.net!newsfeed.kamp.net!newsfeed.freenet.de!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Generic Package
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: <1177539306.952515.222940@s33g2000prh.googlegroups.com>
 <degsdvcu9wwi$.1j7dffe23bgq5$.dlg@40tude.net>
 <9eejm6rqip.fsf@hod.lan.m-e-leypold.de>
 <19qllkvm6ut42$.1iqo74vjgmsrv$.dlg@40tude.net>
 <1177801611.10171.32.camel@localhost.localdomain>
 <1woad6hn9idy2$.6otnwphc1o0h$.dlg@40tude.net>
 <1177929029.6111.34.camel@localhost>
 <maztz79bn7ey.1bxuei6uqjiwu.dlg@40tude.net>
 <1177944533.13970.17.camel@localhost>
 <2aq08qbvw0ym$.1rquampzo7o53.dlg@40tude.net> <m24pmx4q5p.fsf@mac.com>
 <1ieq3io2d6nnq$.13818v3y35gnr.dlg@40tude.net>
 <1178010142.6695.29.camel@localhost.localdomain>
 <yrtifdx6n145$.fizmsut5omi6$.dlg@40tude.net>
 <1178026941.16837.88.camel@localhost.localdomain>
 <1ozvzzh59ebq8$.yeh9do8s3hig$.dlg@40tude.net>
 <1178055690.27673.39.camel@localhost.localdomain>
 <1gptkhkkk93hj.1n23zmm3go7tc$.dlg@40tude.net>
 <1178106506.17912.33.camel@localhost>
 <1d7fjjn90n15q.tz3xkhxpuz5x.dlg@40tude.net>
 <1178216879.11140.18.camel@kartoffel>
Date: Thu, 3 May 2007 21:07:18 +0200
Message-ID: <157vfd1gw6dfc$.3heukv815ut7$.dlg@40tude.net>
NNTP-Posting-Date: 03 May 2007 21:06:48 CEST
NNTP-Posting-Host: e1933165.newsspool4.arcor-online.net
X-Trace: 
 DXC=>`mj:><7DT>NTD<CL>55K=4IUK<Cl32<14Fo<]lROoR14nDHegD_]R5g1?a\:o_P54DNcfSJ;bb[5IRnRBaCd<M><mXihh`IbR?dV\Gl9@??g8
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:15480
Date: 2007-05-03T21:06:48+02:00
List-Id: <comp.lang.ada>

On Thu, 03 May 2007 20:27:59 +0200, Georg Bauhaus wrote:

> On Wed, 2007-05-02 at 15:12 +0200, Dmitry A. Kazakov wrote:
>> On Wed, 02 May 2007 13:48:26 +0200, Georg Bauhaus wrote:
>> 
>>> On Wed, 2007-05-02 at 12:29 +0200, Dmitry A. Kazakov wrote:
>>> 
>>>>> Memory is not abstract, addresses aren't abstract,
>>>> 
>>>> In what sense? 
>>> 
>>> When you write a Set implementation for a PC, you can specifying
>>> addresses and refer to addresses in a consistent way.
>> 
>> But I am not required to do so.
> 
> (I'll listen to Randy who said: "In any case, this is an Ada forum,
> and abstractions that you cannot describe in Ada are simply not
> relevant", and be brief, for one more time only.)

There exist legal Ada programs which don't refer to the type
System.Address.

(which statement is an exact equivalent to "I am not required to do so"
[use addresses in Ada])

>>  Now, let you have a container holding 1, 2, 3, can you
>> point me the address of 2 there?
> 
> Yes. It is between 1 and 3, the docs say.

(Where RM says anything about 2'Address?)

> Whether it actually is a
> computer address between 1'Address and 3'Address is a matter of
> implementation,

Also it is not memory address. What is then, a postal address?

> I had given an argument about the correctness of the program WRT
> some model of how Foreach works.

You didn't specified that "model." I am especially interested in the formal
meaning of "once."

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