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: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-07 03:48:06 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!skynet.be!freenix!wanadoo.fr!not-for-mail
From: Pascal Obry <p.obry@wanadoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
Date: 07 Aug 2001 12:47:09 +0200
Organization: Home - http://perso.wanadoo.fr/pascal.obry
Message-ID: <upua8tadu.fsf@wanadoo.fr>
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
 <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>
 <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> <u4rrlur8g.fsf@wanadoo.fr>
 <Lnzb7.6377$6L.5741656@nnrp6.proxad.net> <uitg1gmzi.fsf@gsfc.nasa.gov>
 <soNb7.7086$sO3.6036493@nnrp6.proxad.net>
NNTP-Posting-Host: mix-velizy-106-3-167.abo.wanadoo.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: wanadoo.fr 997181286 11656 193.249.122.167 (7 Aug 2001 10:48:06 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 7 Aug 2001 10:48:06 GMT
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.104
Xref: archiver1.google.com comp.lang.ada:11475
Date: 2001-08-07T10:48:06+00:00
List-Id: <comp.lang.ada>


"nicolas" <n.brunot@cadwin.com> writes:

> Availability of standard libraries, independant of compilers and platforms,
> as a requirement for Ada to be a viable solution a few years from now.

I agree. The trouble is that again the equation is not fair.

        Java = SUN

        Ada  = ACT, Aonix, Rational...

The Ada market is divided and this will be lot harder than for Java. It is
always easier to be the only driver :)

But don't get me wrong, I'd love to see more standardized libraries. Now to be
constructive, just try to propose something that WILL work! Of course you
can't expect Aonix to drive, build nice library and let others integrate them
for free (gratis) !

I think we need some kind of organization getting money from all Ada vendors
to drive the Ada libraries development (not the language).

Do you see something better ?

Now to be fair, it is quite easy to propose that, but I really don't know if
this is viable solution :) And since many Ada vendors just don't read this
NG...

At least there is nothing to gain to just groan on this news group :)

Anyway I will stop reading this thread as I think we are going nowhere.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--|
--| "The best way to travel is by means of imagination"