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,fc52c633190162e0
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: why learn C?
Date: Sat, 14 Apr 2007 18:20:58 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcc647ybnsl.fsf@shell01.TheWorld.com>
References: <1172144043.746296.44680@m58g2000cwm.googlegroups.com>
 <slrnetr31o.875.Marc.Boyer@localhost.localdomain>
 <1172161751.573558.24140@h3g2000cwc.googlegroups.com>
 <slrnetri6j.875.Marc.Boyer@localhost.localdomain>
 <546qkhF1tr7dtU1@mid.individual.net>
 <slrnett8ph.807.Marc.Boyer@localhost.localdomain>
 <5ZULh.48$YL5.40@newssvr29.news.prodigy.net>
 <1175215906.645110.217810@e65g2000hsc.googlegroups.com>
 <rOudnecT2dxOEZHbnZ2dnUVZ_qupnZ2d@comcast.com>
 <1175230700.925143.28490@n59g2000hsh.googlegroups.com>
 <6XbPh.4025$u03.802@newssvr21.news.prodigy.net>
 <1175491660.511530.58430@y80g2000hsf.googlegroups.com>
 <ye6Qh.2320$H_5.1743@newssvr23.news.prodigy.net>
 <_esTh.11650$eC.2533@trndny03> <wcc1wipphor.fsf@shell01.TheWorld.com>
 <dNNTh.157$IG1.13@trndny07>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls6.std.com 1176589259 15284 192.74.137.71 (14 Apr 2007 22:20:59
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Sat, 14 Apr 2007 22:20:59 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:XYB1Ib/MYTAWtGfaIDo4bE6Ka8A=
Xref: g2news1.google.com comp.lang.ada:15022
Date: 2007-04-14T18:20:58-04:00
List-Id: <comp.lang.ada>

Hyman Rosen <hyrosen@mail.com> writes:

> Robert A Duff wrote:
>> Operator overloading is just one subset of subprogram overloading
>
> Sure. I was just replying to the notion that manual instantiation is
> better than automatic because it avoids having the compiler pick your
> functions for you, pointing out that Ada already does that.

Right.

Ada also has the "is <>" default notation for generic formal parameters,
which is a similar sort of "implicit / behind-the-scenes-magic".
It means "pick something with the same name, visible at the 
place of the instantiation".  Some might consider that rather error
prone, but it's also rather useful.  It probably wouldn't mix well
with implicit instantiation.

- Bob