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.1 required=5.0 tests=BAYES_00,LOTS_OF_MONEY,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-06 01:19:44 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!193.251.151.101!opentransit.net!wanadoo.fr!proxad.net!feeder2-1.proxad.net!nnrp6.proxad.net.POSTED!not-for-mail
From: "nicolas" <n.brunot@cadwin.com>
Newsgroups: comp.lang.ada
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
   <1Zu77.187$EF5.315498@nnrp1.proxad.net>
 <9jp5eo$e2b$2@a1-hrz.uni-duisburg.de> <PsW77.765$YT.2364480@nnrp5.proxad.net>
 <9jrdl3$mh2$1@a1-hrz.uni-duisburg.de>
 <%hb87.917$%w2.3730577@nnrp3.proxad.net> <9jrt62$38t$1@nh.pace.co.uk>
 <3B619A6D.5DD6E782@home.com> <DF897.3617$ee.3921026@nnrp5.proxad.net>
 <3B6636BA.96FD8348@home.com> <TLt97.9335$Xa.790630@nnrp4.proxad.net>
 <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de>
 <yy9a7.3017$ss3.4363386@nnrp6.proxad.net>
 <9kchn1$lng$1@a1-hrz.uni-duisburg.de> <9ke9pa$lks$1@nh.pace.co.uk>
 <bmya7.18382$Iu6.4283510@nnrp1.proxad.net>
 <LH_a7.739$fg7.176384@news.xtra.co.nz>
Subject: Re: Proving Correctness (was Java Portability)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2919.6700
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6700
Message-ID: <zqsb7.4973$uK5.5448747@nnrp6.proxad.net>
Date: Mon, 06 Aug 2001 08:19:43 GMT
NNTP-Posting-Host: 195.101.131.241
X-Complaints-To: abuse@proxad.net
X-Trace: nnrp6.proxad.net 997085983 195.101.131.241 (Mon,
 06 Aug 2001 10:19:43 CEST)
NNTP-Posting-Date: Mon, 06 Aug 2001 10:19:43 CEST
Organization: Guest of ProXad - France
Xref: archiver1.google.com comp.lang.ada:11338
Date: 2001-08-06T08:19:43+00:00
List-Id: <comp.lang.ada>

"AG" <ang@xtra.co.nz> a �crit dans le message news:
LH_a7.739$fg7.176384@news.xtra.co.nz...
>
> "nicolas" <n.brunot@cadwin.com> wrote in message
> news:bmya7.18382$Iu6.4283510@nnrp1.proxad.net...
> > "Marin David Condic" <marin.condic.auntie.spam@pacemicro.com> a �crit
dans
> > le message news: 9ke9pa$lks$1@nh.pace.co.uk...
> > > So, IMHO, Ada needs to be more "Customer Centered" and offer the users
&
> > > potential users the kinds of things they are currently buying.
>
> Well, if you only offer what they are currently buying you aren't going to
> pull them
> away from what they are currently buying:) I thought the whole point was
to
> offer
> something better.

And better usually means at least as good, which doesn't prevent to you from
offering something better.
We agree ...
I wouldn't see any reason to use Ada if it was only as good as other
languages.

> > I agree. No product, how excellent it is, can afford to forget this
> > elementary rule
>
> If that was true we would still be using stone hammers to hunt wooly
> mammothes
> (or whatever the plural is for mammoth). After all - that was exactly what
> the
> customers were buying at the time.
>

May be the danger of mammoth hunting ... or their extinction ...
Great, we just have to wait for the extinction of other languages to see Ada
qualities widely recognized.
I'm afraid I'll be retired at that time ...