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-06 08:46:31 PST
Path:
archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!opentransit.net!wanadoo.fr!not-for-mail
From: Pascal Obry
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
Date: 06 Aug 2001 17:45:35 +0200
Organization: Home - http://perso.wanadoo.fr/pascal.obry
Message-ID:
References:
<9jrt62$38t$1@nh.pace.co.uk> <3B619A6D.5DD6E782@home.com>
<3B6636BA.96FD8348@home.com>
<9kb3ub$hdo$1@a1-hrz.uni-duisburg.de>
<9kchn1$lng$1@a1-hrz.uni-duisburg.de>
<9kea9a$lsc$1@nh.pace.co.uk>
<9keduf$qvc$1@a1-hrz.uni-duisburg.de>
<9kelv1$riq$1@a1-hrz.uni-duisburg.de>
NNTP-Posting-Host: mix-velizy-107-2-109.abo.wanadoo.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: wanadoo.fr 997112791 3758 193.249.45.109 (6 Aug 2001 15:46:31 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 6 Aug 2001 15:46:31 GMT
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.104
Xref: archiver1.google.com comp.lang.ada:11380
Date: 2001-08-06T15:46:31+00:00
List-Id:
"nicolas" writes:
> We are giving to others languages users, all what they need, to be convinced
> that Ada users are themselves unable to stick to what they promote.
> If you can't bypass GNAT.Regexp, obviously GNAT.Regexp should be in the set
> of standard libraries, it shouldn't be named GNAT, and should be available
> as it is for any compiler.
I agree. But at least ACT has done a job that nobody else have done before!
Maybe a regular expression library should be added into the standard Ada
library (I'm all for), but this is another story. I'm sure we think that the
library revision process is too slow, but face the truth, Ada market is small
and I doubt that the ARG have as much money than SUN :)
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"