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-Thread: 103376,229ea0001655d6a2
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder3.cambrium.nl!feeder1.cambrium.nl!feed.tweaknews.nl!news2.euro.net!transit.news.xs4all.nl!xs4all!transit1.news.tiscali.nl!tiscali!newsfeed1.ip.tiscali.net!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Generic Package
From: Georg Bauhaus <bauhaus@futureapps.de>
In-Reply-To: <1177929392.6111.38.camel@localhost>
References: <1177539306.952515.222940@s33g2000prh.googlegroups.com>
	 <1177601484.444701.171560@r35g2000prh.googlegroups.com>
	 <pcp92sp50q98$.lad523qlftgm.dlg@40tude.net> <m2zm4udcqt.fsf@mac.com>
	 <degsdvcu9wwi$.1j7dffe23bgq5$.dlg@40tude.net>
	 <9eejm6rqip.fsf@hod.lan.m-e-leypold.de>
	 <19qllkvm6ut42$.1iqo74vjgmsrv$.dlg@40tude.net>
	 <1177801611.10171.32.camel@localhost.localdomain>
	 <1woad6hn9idy2$.6otnwphc1o0h$.dlg@40tude.net>
	 <C25A7406.A864E%yaldnif.w@blueyonder.co.uk>
	 <1n38bsd8xx0uc$.1eo1arncmwvkn.dlg@40tude.net>
	 <C25ADC95.A87B4%yaldnif.w@blueyonder.co.uk>
	 <x83lepvaonj0$.8nqcwcdg7ykd.dlg@40tude.net>
	 <1177929392.6111.38.camel@localhost>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Message-ID: <1177929652.6111.42.camel@localhost>
Mime-Version: 1.0
X-Mailer: Evolution 2.10.1 
Date: Mon, 30 Apr 2007 12:40:52 +0200
Organization: Arcor
NNTP-Posting-Date: 30 Apr 2007 12:35:11 CEST
NNTP-Posting-Host: 108df9ff.newsspool3.arcor-online.net
X-Trace: 
 DXC=DSF@TL57Jem;iVb[J9ZZP`McF=Q^Z^V3h4Fo<]lROoRaFl8W>\BH3Yb@\<T_8adV=eN[W<lHX`=Bd\6BhD5G6\ilM`YjJm20[:n
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:15418
Date: 2007-04-30T12:35:11+02:00
List-Id: <comp.lang.ada>

On Mon, 2007-04-30 at 12:36 +0200, Georg Bauhaus wrote:
> On Mon, 2007-04-30 at 08:58 +0200, Dmitry A. Kazakov wrote:
> > On Sun, 29 Apr 2007 23:36:53 +0100, (see below) wrote:
> > 
> > > On 29/4/07 18:48, in article 1n38bsd8xx0uc$.1eo1arncmwvkn.dlg@40tude.net,
> > > "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
> > > 
> > >> What about "polymorphism"? It means exactly the opposite to what its
> > >> translation suggests (many-formed/shaped).
> > > 
> > > You have lost me. It means exactly what it says.
> > 
> > But there is only one form (~interface) of a polymorphic thing. Substance
> > (~implementation) is different. They should probably take "convergent"
> > instead.
> 
> Using the same interface, you can refer to many differently
> shapes objects.
> 
>    poly_ref: T'class := Factory.make(read_input);
> 
> 
> Who said that *objects* are polymorphic at any one time?

Or, if you insist on references that can be reassigned so they
really exhibit some polymorphism, consider a pointer to T'class.