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-06 01:52:26 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!newsfeed00.sul.t-online.de!t-online.de!fr.usenet-edu.net!usenet-edu.net!teaser.fr!proxad.net!feeder2-1.proxad.net!nnrp6.proxad.net.POSTED!not-for-mail From: "nicolas" Newsgroups: comp.lang.ada 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> 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: Date: Mon, 06 Aug 2001 08:52:25 GMT NNTP-Posting-Host: 195.101.131.241 X-Complaints-To: abuse@proxad.net X-Trace: nnrp6.proxad.net 997087945 195.101.131.241 (Mon, 06 Aug 2001 10:52:25 CEST) NNTP-Posting-Date: Mon, 06 Aug 2001 10:52:25 CEST Organization: Guest of ProXad - France Xref: archiver1.google.com comp.lang.ada:11340 Date: 2001-08-06T08:52:25+00:00 List-Id: "Georg Bauhaus" a �crit dans le message news: 9kelv1$riq$1@a1-hrz.uni-duisburg.de... > nicolas wrote: > : "Georg Bauhaus" a ?crit dans le message > :> Only, this cannot be used to claim that there are no libraries for > :> Ada, > : I don't remember having said that ... > > Euh, yes , sorry, only I've had difficulties to see that your many > 'Nobody does...' > 'Everybody knows...' > '99% says...' > "Where are the library components, reuse etc ... ? > which I started to interpret as rhetorically chosen were meant > literally, in part. Uhm,... O.K. not every comes with your compiler, > when they exist. I guess we have a very different view of what surrounds us. By the way 99% is in my opinion very optimistic ... I doubt 1% of programmers in the world have heard about Ada ... I'm not sure you very often provide software to South America, Japan, China, Korea etc ... to have such an opinion. > > : I don't know yet a good enough XML library (with DTD and so on) > > Is this one insufficient?: No, and this is so obvious that it's very bad news somebody can think it is sufficient. Don't get me wrong, it's great to have this library for students or Ada fans. But it is definitely not ok for a professional use. You may say that we just have to be Gnat supported customers You just forget that not every Ada project, even professional ones, use Gnat. > "It includes support for parsing XML files, including DTDs, > as well as a full support for SAX, and an almost complete support > for the core part of the DOM" http://libre.act-europe.fr/xmlada/ Sax relies on Gnat specific packages. I even remember a post a few monthes ago saying that GNAT.Spitbol use Gnat specific pragmas The library was developped and tested with Gnat 3.14a tested on GNU linux x86 Sparc Solaris Which percentage of Ada users are Gnat supported users ? I would expect an Ada library to be tested at least against Gnat public version Aonix Objectada Rational Apex and obviously on Windows ... (You may have heard about it, a little operating system that a very few number of stupid people are still using ...) It's incredible not to understand how such elementary things are obvious ... And don't tell me that may be this works, we just have to try or may be to change 1 or 2 little things ... I won't do it If this is not easy, I don't have to spend my time on this If this is easy, a sensible Software manager expects that the library provider does the test > : I'm not sure you can easily find exhaustive equivalent of : > > Neither am I. For some of them, I didn't even have to look, > because of language features. ;) One of them does not apply in > Ada context. Most of them probably don't come with compilers, > yes. CORBA has a directory on adapower. An unzip library can > be found at http://www.mysunrise.ch/users/gdm/unzipada.htm. > The GNADE project appears to make some progress. In some > spots, this list isn't exhaustive, but mere existence of a Java > package doesn't solve every problem, sad as it is. I am not > saying this to demean these useful libraries. E.g., not every > popular image/sound format is handled by java.awt.* or javax. > Same library tediousness as with Ada. But it sure makes one feel > comfortable to have HashMaps, Lists, and Sets. > > (I think I#ll compare java.sql.*/Tomcat to GNADE/AWS and > see if they match :-) I don't think you understood what is the problem. Don't spend your time trying to convince me, you have the whole rest of the world to convince ...