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=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
Date: Sat, 19 Apr 2014 12:08:19 +0300
Organization: Tidorum Ltd
Message-ID: <breso3Fqsk7U2@mid.individual.net>
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>
 <lhcv8r$iol$1@loke.gir.dk> <1cdsyxjzsfgzm.1synpaujysv21$.dlg@40tude.net>
 <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>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: individual.net hiH7DNgqJcI/b8pktWQY0wgxOPYE2vO/X/p6xSCX+3s5Mquafm
Cancel-Lock: sha1:stzrNGWR8X1CVMNeXbuX+FN9eKI=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8;
 rv:24.0) Gecko/20100101 Thunderbird/24.4.0
In-Reply-To: <1jfeyy5n6yetv$.1hdnb6kf3tnj2$.dlg@40tude.net>
X-Original-Bytes: 2703
Xref: number.nntp.dca.giganews.com comp.lang.ada:185841
Date: 2014-04-19T12:08:19+03:00
List-Id: <comp.lang.ada>

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? In
some logical sense it is, in a physical sense it isn't. Which do you mean?

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
      .      @       .