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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,dbcfe2b0a74da57e
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!k79g2000hse.googlegroups.com!not-for-mail
From: Maciej Sobczak <see.my.homepage@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Inherited Methods and such
Date: Wed, 19 Sep 2007 15:13:06 -0700
Organization: http://groups.google.com
Message-ID: <1190239986.762473.204290@k79g2000hse.googlegroups.com>
References: <1190039166.449906.15070@g4g2000hsf.googlegroups.com>
   <1190041908.492024.263110@19g2000hsx.googlegroups.com>
   <1190060534.958182.51800@d55g2000hsg.googlegroups.com>
   <87tzptuhku.fsf@ludovic-brenta.org>
   <1190125656.071013.303640@22g2000hsm.googlegroups.com>
   <1ds7l1l7oeyrx.1cpsvrpkikour.dlg@40tude.net>
   <1190147965.676457.123000@d55g2000hsg.googlegroups.com>
   <1co37tau98gct.axsglmqh0xu9$.dlg@40tude.net>
   <1190213376.707449.146640@g4g2000hsf.googlegroups.com>
   <1fl2wnziigxfd.1fjbag2hh8sbc$.dlg@40tude.net>
NNTP-Posting-Host: 85.3.196.213
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
X-Trace: posting.google.com 1190239986 14437 127.0.0.1 (19 Sep 2007 22:13:06
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 19 Sep 2007 22:13:06 +0000 (UTC)
In-Reply-To: <1fl2wnziigxfd.1fjbag2hh8sbc$.dlg@40tude.net>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X; en-US;
 rv:1.8.1.6) Gecko/20070725 Firefox/2.0.0.6,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: k79g2000hse.googlegroups.com; posting-host=85.3.196.213;
   posting-account=ps2QrAMAAAA6_jCuRt2JEIpn5Otqf_w0
Xref: g2news2.google.com comp.lang.ada:2041
Date: 2007-09-19T15:13:06-07:00
List-Id: <comp.lang.ada>

On 19 Wrz, 17:16, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> > Yes. What if that behaviour changes over time? Would you say that the
> > type changes over time as well?
>
> It cannot. Behavior is time-invariant, because it summarizes our
> expectance.

I don't like this kind of discussions; they lead nowhere. You try to
force others into your own assumptions as if they were general axioms.

My expectations are different during the lifetime of the object. Hence
- the behavior that I expect is time-variant. Hence - the type changes
over time. End of story.

> If our expectance is wrong, then the program is incorrect, and
> reverse.

Of course. But actually my expectance is right and my programs are
correct.

> > This is what justifies the concept of "dynamic type".
>
> No it does not. How does a dynamic type behave?

Dynamically.

--
Maciej Sobczak
http://www.msobczak.com/