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,6689542a60dbcc55
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Discriminated records are not the most efficient, but ...
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <op.vhs349clule2fv@garhos> <op.vhs5xtdlule2fv@garhos>
 <op.vhtrcjhmule2fv@garhos> <op.vhuw06a1ule2fv@garhos>
 <874oemcr37.fsf@mid.deneb.enyo.de> <op.vhvbhchkule2fv@garhos>
 <op.vhvktu1kule2fv@garhos> <87d3t9riip.fsf@mid.deneb.enyo.de>
 <op.vhvsa6tvule2fv@garhos> <1tp38689ok1hy.1nktp69e1nhkm.dlg@40tude.net>
 <op.vhvtqektule2fv@garhos>
Date: Mon, 23 Aug 2010 10:43:41 +0200
Message-ID: <4q1ogous99yi.1lk3de3cb92yd$.dlg@40tude.net>
NNTP-Posting-Date: 23 Aug 2010 10:43:40 CEST
NNTP-Posting-Host: fd9c07cc.newsspool2.arcor-online.net
X-Trace: 
 DXC=gBeo]T=jkJ0QbA1[CgMQ00A9EHlD;3Yc24Fo<]lROoR18kF<OcfhCO;UA74FhN[Dm0[6LHn;2LCV>[<mhadbfdU;Xji1[]UbmW>OMZH@G=HBS1
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:13661
Date: 2010-08-23T10:43:40+02:00
List-Id: <comp.lang.ada>

On Mon, 23 Aug 2010 10:26:28 +0200, Yannick Duchêne (Hibou57) wrote:

> Le Mon, 23 Aug 2010 10:06:46 +0200, Dmitry A. Kazakov  
> <mailbox@dmitry-kazakov.de> a écrit:
>> Nominal type equivalence is when two types considered same when their  
>> names are same. It cannot imply structural typing.
> Should have said “Full Name” instead of Name.

No matter, it is the names which are matched, not the objects they denote.
Names themselves can be matched in different ways, e.g. Foo = foO,
Standard.Integer = Integer etc.

> In Ada, same full name (after any renaming resolution done) implies the  
> same structure, or implies it holds at least the same structure (if you  
> consider the views of a type of a class), which is enough to hold logical  
> properties inferred from the structure.

This require definition of "structure". The language at least tries to
avoid references to the structure, because it break fundamental concepts of
the language design (abstractness, information hiding, separation of
interface and implementation etc). If you replace "structure" to "behavior"
then, yes, same thing has same behavior.

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