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
X-Google-Thread: a07f3367d7,c689b55786a9f2bd
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!newsfeed.straub-nv.de!noris.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: for S'Image use Func??
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <Xns9D7085FECB88EWarrensBlatherings@188.40.43.213>
 <op.vcaqajn0ule2fv@garhos> <Xns9D70A3756AAE0WarrensBlatherings@188.40.43.213>
 <wccmxwcu6kc.fsf@shell01.TheWorld.com> <op.vcaxs1h4ule2fv@garhos>
 <wcceihou455.fsf@shell01.TheWorld.com>
 <hs0jm5$vr4$1@news.eternal-september.org>
 <wcchbmjlx6a.fsf@shell01.TheWorld.com>
 <4be417b4$0$6992$9b4e6d93@newsspool4.arcor-online.net>
 <wccpr17yeji.fsf@shell01.TheWorld.com> <op.vccd27e2xmjfy8@garhos>
Date: Fri, 7 May 2010 19:38:12 +0200
Message-ID: <1b4dbbn0xubms$.1pmm5qr1dwcdt$.dlg@40tude.net>
NNTP-Posting-Date: 07 May 2010 19:38:06 CEST
NNTP-Posting-Host: d1544e8f.newsspool4.arcor-online.net
X-Trace: 
 DXC=h?A@8H_@:7RPU8j_I0DN6_4IUK<Cl32<Q4Fo<]lROoRQ8kF<OcfhCO[`b2fgMK20oW[6LHn;2LCV^[<mhadbfdU[GA2ZEK\BReTKJh2QG4VdgV
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:11378
Date: 2010-05-07T19:38:06+02:00
List-Id: <comp.lang.ada>

On Fri, 07 May 2010 17:46:09 +0200, Yannick Duch�ne (Hibou57) wrote:

> Le Fri, 07 May 2010 16:25:37 +0200, Robert A Duff  
> <bobduff@shell01.theworld.com> a �crit:
>> And teaching beginners how to instantiate generics,
>> when there's a simple 'Image feature, is not a good idea.
> Mhhhh... don't agree. 'Image is a kind of hidden genericity,

Polymorphism. Genericity is a kind of polymorphism (static), but not all
polymorphism is genericity. If you consider image statically polymorphic,
then it is more the C++ way than the Ada's one. Compare:

   T'Image(X)      image<T>(x)

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