Re: Generic Package

[Georg Bauhaus <bauhaus@futureapps.de>]

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.