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,
	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-08 01:37:56 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!opentransit.net!proxad.net!feeder2-1.proxad.net!nnrp4.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>
   <9kea9a$lsc$1@nh.pace.co.uk> <9keduf$qvc$1@a1-hrz.uni-duisburg.de>
 <Reza7.18403$px7.4304991@nnrp1.proxad.net>
 <9kelv1$riq$1@a1-hrz.uni-duisburg.de>
 <dVsb7.5035$2i4.5346431@nnrp6.proxad.net> <ulmkxuy80.fsf@wanadoo.fr>
 <bFxb7.6327$bO7.5653610@nnrp6.proxad.net> <un15dgn63.fsf@gsfc.nasa.gov>
 <JHNb7.7167$2j2.5927018@nnrp6.proxad.net>
 <kcOb7.4612$e%4.140534@news3.oke.nextra.no>
 <YpOb7.13370$II7.2424964@nnrp4.proxad.net>
 <y%Ob7.737$ep5.11352@news1.oke.nextra.no>
 <uqPb7.13383$XF7.2415736@nnrp4.proxad.net> <3B707688.340B8A70@home.com>
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: <DT6c7.13785$SG4.2689164@nnrp4.proxad.net>
Date: Wed, 08 Aug 2001 08:37:55 GMT
NNTP-Posting-Host: 195.101.131.241
X-Complaints-To: abuse@proxad.net
X-Trace: nnrp4.proxad.net 997259875 195.101.131.241 (Wed,
 08 Aug 2001 10:37:55 CEST)
NNTP-Posting-Date: Wed, 08 Aug 2001 10:37:55 CEST
Organization: Guest of ProXad - France
Xref: archiver1.google.com comp.lang.ada:11586
Date: 2001-08-08T08:37:55+00:00
List-Id: <comp.lang.ada>

"Larry Elmore" <ljelmore@home.com> a �crit dans le message news:
3B707688.340B8A70@home.com...
> How many standard, cross-compiler, cross-platform libraries exist for
> _any_ language? I'd be willing to bet more would be in Fortran than any
> other language.

You are right, but I doubt that helps Ada a lot.

> It's been no more "hyped" than any other OO language. If this is your
> argument, why is C++ still around?

Microsoft ?

> I think your second point is bogus. Reinventing the wheel goes on
> everywhere and in every language (and often because the developer feels
> he/she can do a better job than whoever came before).

It's obvious to me that this is a counterproductive attitude.
People fight or at least should fight with very good reasons against this
kind of developer's feelings.

> No kidding. That's more than you can say about C/C++!!!

I agree. Why do you think we use Ada ?