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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c0d427d5f4af20f8
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!atl-c05.usenetserver.com!news.usenetserver.com!cycny01.gnilink.net!cyclone1.gnilink.net!spamkiller2.gnilink.net!gnilink.net!trndny01.POSTED!0e8a908a!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla Thunderbird 1.0.6 (Windows/20050716)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: generics in Ada 83
References: <1126617980.932226.320710@g43g2000cwa.googlegroups.com>
   <pxDVe.3$Fv6.0@dfw-service2.ext.ray.com>   <g5m8gd.m29.ln@hunter.axlog.fr>
   <1126703715.202970.293880@g47g2000cwa.googlegroups.com>
   <ssa9gd.hhl.ln@hunter.axlog.fr>
   <1126711381.425805.248380@o13g2000cwo.googlegroups.com>
   <wccbr2vpsh2.fsf@shell01.TheWorld.com>
 <1127152708.824683.290990@g47g2000cwa.googlegroups.com>
In-Reply-To: <1127152708.824683.290990@g47g2000cwa.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <fGMXe.7511$i86.6994@trndny01>
Date: Tue, 20 Sep 2005 04:58:51 GMT
NNTP-Posting-Host: 70.107.208.116
X-Complaints-To: abuse@verizon.net
X-Trace: trndny01 1127192331 70.107.208.116 (Tue, 20 Sep 2005 00:58:51 EDT)
NNTP-Posting-Date: Tue, 20 Sep 2005 00:58:51 EDT
Xref: g2news1.google.com comp.lang.ada:4934
Date: 2005-09-20T04:58:51+00:00
List-Id: <comp.lang.ada>

REH wrote:
> That has got to be the best argument I have ever seem for Ada generics.

Do remember, as has been frequently discussed here, that C++ templates
let you do things like define dimensioned objects that require zero
runtime overhead in either time or space and implicitly instantiate
themselves only for the units actually needed. This is far beyond what
Ada generics can do. The whole area of template metaprogramming is
unavailable to Ada as well.