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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f43e6,899fc98b2883af4a
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 1108a1,59ec73856b699922
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-Thread: fdb77,5f529c91be2ac930
X-Google-Attributes: gidfdb77,public
X-Google-ArrivalTime: 2003-05-21 00:19:48 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: martin.dowie@btopenworld.com (Martin Dowie)
Newsgroups: 
 comp.lang.java.advocacy,comp.object,comp.lang.ada,comp.software-eng
Subject: Re: Logic Errors and Ada (Was: A big hairy thread on Ada, Quality,
 and Drivers)
Date: 21 May 2003 00:19:47 -0700
Organization: http://groups.google.com/
Message-ID: <af783afe.0305202319.2e862b9f@posting.google.com>
References: <9fa75d42.0304230424.10612b1a@posting.google.com>
 <1053027582.984315@master.nyc.kbcfp.com>
 <slrnbc90us.pi.randhol+abuse@kiuk0152.chembio.ntnu.no>
 <3ec4b5c5$1@news.wineasy.se> <254c16a.0305160930.40bb42f9@posting.google.com>
 <9fa75d42.0305181502.53703035@posting.google.com>
 <af783afe.0305190311.7e0d5b89@posting.google.com>
 <x7v4r3q67v1.fsf@smaug.pushface.org>
 <af783afe.0305192334.7881f78e@posting.google.com>
 <1053435857.635685@master.nyc.kbcfp.com> <bae65q$4tn$1@sparta.btinternet.com>
NNTP-Posting-Host: 20.138.254.2
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1053501588 26295 127.0.0.1 (21 May 2003 07:19:48
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 21 May 2003 07:19:48 GMT
Xref: archiver1.google.com comp.lang.java.advocacy:64318 comp.object:63793
 comp.lang.ada:37577 comp.software-eng:19326
Date: 2003-05-21T07:19:48+00:00
List-Id: <comp.lang.ada>

"Martin Dowie" <martin.dowie@no.spam.btopenworld.com> wrote in message news:<bae65q$4tn$1@sparta.btinternet.com>...
> "Hyman Rosen" <hyrosen@mail.com> wrote in message
> news:1053435857.635685@master.nyc.kbcfp.com...
> > Language support is very helpful here. In C++ you just define
> > the templates for what you need, and the compiler takes care
> > of instantiating just the ones that are used.
> 
> If you check the AIs, you will see that there is one to introduce
> such a built-in feature into Ada0Y (maybe!).

...possibly quite a big maybe, by the way - it's not a particularly
easy thing to achieve :-)