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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.unit0.net!feeds.phibee-telecom.net!newsfeed.xs4all.nl!newsfeed1.news.xs4all.nl!xs4all!news.stack.nl!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
Date: Sat, 19 Apr 2014 12:06:17 +0200
Organization: cbb software GmbH
Message-ID: <t3oflb6a084w.1ixwz0pc7ykb2$.dlg@40tude.net>
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>
 <lhi3ia$bos$1@loke.gir.dk> <1aa804jg9qq4o$.wdiq33yo621l.dlg@40tude.net>
 <lhviiu$q77$1@loke.gir.dk> <yl8s1sbhw0lw.1bhypcrvreord.dlg@40tude.net>
 <li217v$uvk$1@loke.gir.dk> <1w6eh0aiksmdh$.1h16p7y0b8c6h.dlg@40tude.net>
 <li5354$c8e$1@loke.gir.dk> <17twpp4p8u7o$.1idvzaaio4f3t$.dlg@40tude.net>
 <bqqsmqFk8b9U1@mid.individual.net> <s604jsja4ayt.yf0xqwsaue9d.dlg@40tude.net>
 <bqr781FmefuU1@mid.individual.net>
 <1wjmcbk375lzk.6o7dpqcp3va3.dlg@40tude.net>
 <br07nkFnvrbU1@mid.individual.net>
 <1kwpgk4mrnzey.18388dob823vp$.dlg@40tude.net>
 <brdblmFhio6U1@mid.individual.net>
 <129pvrzqrv83p$.orkstybnskgo.dlg@40tude.net>
 <brena0Fpr3qU1@mid.individual.net>
 <9b0anu6u678j.kfliatroezt0$.dlg@40tude.net>
 <1jfeyy5n6yetv$.1hdnb6kf3tnj2$.dlg@40tude.net>
 <breso3Fqsk7U2@mid.individual.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: AuYlnUSfTZrfhAkRjyySpQ.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: news.eternal-september.org comp.lang.ada:19409
Date: 2014-04-19T12:06:17+02:00
List-Id: <comp.lang.ada>

On Sat, 19 Apr 2014 12:08:19 +0300, Niklas Holsti wrote:

> On 14-04-19 11:39 , Dmitry A. Kazakov wrote:
>> On Sat, 19 Apr 2014 10:19:02 +0200, Dmitry A. Kazakov wrote:
>> 
>>> "Re-" presumes that dispatch happens again. What is in common to these two
>>> instances of dispatch what makes it re-dispatch? It is 1) the same
>>> polymorphic operation and 2) the same object. Take either away and it is
>>> not re-dispatch anymore:
>>>
>>> 1. Different operations:
>>>
>>>    X.Foo;
>>>    X.Bar;  -- This is not re-dispatch!
>>>
>>> 2. Different objects:
>>>
>>>    X.Foo;
>>>    Y.Foo;  -- This is not re-dispatch!
>> 
>> After some consideration, I take the position 1 back. Operation can be
>> different. But the object must be same.
> 
> If we are talking about by-copy types, then whether X and Y are the
> "same object" is fuzzy. Is a copy the same object as the original?

A copy is another object.

> In some logical sense it is, in a physical sense it isn't.

The reverse. It might be logically same, when "=" yields true and
physically different.

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