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-07 02:20:57 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!193.251.151.101!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>
   <9kchn1$lng$1@a1-hrz.uni-duisburg.de>
 <R1ta7.4077$ke.4769807@nnrp6.proxad.net> <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>
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: <YpOb7.13370$II7.2424964@nnrp4.proxad.net>
Date: Tue, 07 Aug 2001 09:20:56 GMT
NNTP-Posting-Host: 195.101.131.241
X-Complaints-To: abuse@proxad.net
X-Trace: nnrp4.proxad.net 997176056 195.101.131.241 (Tue,
 07 Aug 2001 11:20:56 CEST)
NNTP-Posting-Date: Tue, 07 Aug 2001 11:20:56 CEST
Organization: Guest of ProXad - France
Xref: archiver1.google.com comp.lang.ada:11471
Date: 2001-08-07T09:20:56+00:00
List-Id: <comp.lang.ada>

"Leif Roar Moldskred" <lrm@huldreheim.provida.no> a �crit dans le message
news: kcOb7.4612$e%4.140534@news3.oke.nextra.no...
> Well, yes - but what _other_ language than Java has an _XML library_
> that's standard, and portable across all compilers?

In my opinion, portable libraries which could be only a standard of facts,
as long as you don't violate RM rules, is not a question of fighting against
other languages.
It's just about starting to put in practice what Ada has claimed since the
beginning of its existence.

Ada talks about reuse, software components, portability.
An XML library manipulating files and strings, is compiler dependant, and
the build is not even tested on Windows.

Honestly, a  C++ or a Java programmer seeing that has some reasons not to
take very seriously Ada users lessons ...