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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f948976d12c7ee33
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-01 06:03:03 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news.airnews.net!cabal12.airnews.net!usenet
From: "John R. Strohm" <strohm@airmail.net>
Newsgroups: comp.lang.ada
Subject: Re: Boeing and Dreamliner
Date: Tue, 1 Jul 2003 07:57:20 -0500
Organization: Airnews.net! at Internet America
Message-ID: <bds0pf$oaq@library1.airnews.net>
References: <mailman.4.1056169754.352.comp.lang.ada@ada.eu.org>
 <zN9Ja.2184$N%6.569@nwrdny02.gnilink.net> <3EFC6FC2.B96DAEA4@adaworks.com>
 <1056731513.272294@master.nyc.kbcfp.com>
 <e2e5731a.0306271633.20140ba6@posting.google.com>
 <k2wLa.21663$N%6.3746@nwrdny02.gnilink.net> <3EFF2F6D.3793971@adaworks.com>
 <wdILa.23988$N%6.1953@nwrdny02.gnilink.net> <3F00E081.898E3C4A@adaworks.com>
 <I09Ma.2595$tw3.1703@nwrdny02.gnilink.net>
 <qld2gv8e6mje2k6vbni41ffcke33jf1od2@4ax.com>
Abuse-Reports-To: abuse at airmail.net to report improper postings
NNTP-Proxy-Relay: library1-aux.airnews.net
NNTP-Posting-Time: Tue, 01 Jul 2003 08:02:39 -0500 (CDT)
NNTP-Posting-Host: !b#7X1k-Y!TdSJB (Encoded at Airnews!)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1106
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
Xref: archiver1.google.com comp.lang.ada:39955
Date: 2003-07-01T07:57:20-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:qld2gv8e6mje2k6vbni41ffcke33jf1od2@4ax.com...
> On Tue, 01 Jul 2003 05:31:20 GMT, Hyman Rosen <hyrosen@mail.com>
> wrote:
>
> >Richard Riehle wrote:
> > > In C++ it is perfectly legal to do all kinds of assignment statements
> > > where the result is not entirely predictable.
> >
> >I'm not sure what you mean by this. If you're talking about order
> >of evaluation, Ada has the same lack of predictability, although
> >Java does not.
> >
> >> A key difference between Ada and many other languages is
> >> the absence of structural equivalence in favor of named equivalence.
> >
> >Again, I don't know how this applies to C++, except for one case I
> >can think of - a union with record members all of which share the
> >identical set of leading fields. X Window uses this feature to allow
> >access to the type of an event.
>
> Another example is pointers. They are matched by structure not by
> names. In Ada different pointer types are different even if they point
> to objects of same type. It might look strange from C++ point of view,
> but sometimes it is very useful (consider storage pools, for example).

Quibble.

My understanding is that Ada does not have "pointers", but rather "access
types".  Further, it is my understanding that, while the semantics of access
types in Ada resemble those of pointers in other languages, the Ada
compiler-writer is under NO obligation to implement access types using
physical pointers.

Is this correct?