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 X-Google-Thread: 103376,be23df8e7e275d73 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-06 06:25:32 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 15:24:36 +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> <9klokd0nif@drn.newsguy.com> NNTP-Posting-Host: mix-velizy-107-2-141.abo.wanadoo.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: wanadoo.fr 997104332 28634 193.249.45.141 (6 Aug 2001 13:25:32 GMT) X-Complaints-To: abuse@wanadoo.fr NNTP-Posting-Date: 6 Aug 2001 13:25:32 GMT User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.104 Xref: archiver1.google.com comp.lang.ada:11350 Date: 2001-08-06T13:25:32+00:00 List-Id: "nicolas" writes: > "Mike@xx" a �crit dans le message news: > 9klokd0nif@drn.newsguy.com... > > The Ada standard library development model is not up to the modern times. > > > > Look at how Sun manages Java. They have reqular releases of an updated > > Java (mostly in the standard libraries). This is how Ada should work. Ada > > standard libraries should be updated with more packages all the time. I've never seen libraries updating itself right :) ? So who should do the job ? This is the real question. > > > Thanks a lot ... I'd like to hear that kind of things more often > I don't understand how Ada could stay up-to-date with one revision of > standard libraries in 18 years ... This is too much fun guys !!! As you said SUN add Java libraries. But ACT add GNAT libraries too right ? The big difference is that "Java == SUN" but Ada is a standard and of course ACT is not driving the changes, nor Aonix, nor Rational... I agree that Ada is changing slowly compared to Java, but it stays under control and well designed. I don't think you can play on both sides. Now, you should submit library additions to the ARG to have a chance to see them added in next revision. Maybe all Ada vendors should put some money on some sort of organization to have the Ada libraries updated using standard Ada without vendor-specific additions. This would benefit the whole Ada community. Does such an organization exist ? 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"