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:55:24 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!148.122.208.68!news2.oke.nextra.no!nextra.com!news3.oke.nextra.no.POSTED!not-for-mail From: Leif Roar Moldskred Subject: Re: Proving Correctness (was Java Portability) Newsgroups: comp.lang.ada References: <9kelv1$riq$1@a1-hrz.uni-duisburg.de> User-Agent: tin/1.4.4-20000803 ("Vet for the Insane") (UNIX) (Linux/2.2.17-21mdk (i686)) Message-ID: <5OPb7.4643$e%4.140738@news3.oke.nextra.no> NNTP-Posting-Host: 195.18.231.130 X-Complaints-To: news-abuse@nextra.no NNTP-Posting-Date: Tue, 07 Aug 2001 12:54:57 MEST Organization: Nextra Public Access X-Trace: news3.oke.nextra.no 997181697 195.18.231.130 Date: Tue, 07 Aug 2001 10:54:57 GMT Xref: archiver1.google.com comp.lang.ada:11477 Date: 2001-08-07T10:54:57+00:00 List-Id: nicolas wrote: > Ada doesn't have a lot of standard, cross-compiler, cross-platform > libraries, this is in my opinion, one of the main reason why so few people > use Ada. > That's the subject of the dicussion. Yes, but then neither does C or C++. I really think Java is the odd man out here, rather than Ada. (And I wouldn't be at all surprised if some of the 'standard libraries' for Java have problem with the ":" file separator on Macintosh, or similar glitches.) C and C++ certainly have a much wider selection of libraries, but how many of those can really be said to be cross-compiler, cross-platform? Sure, you get some that can be used across a couple of different compilers, and a couple of different platforms - but in the context of _standard_ libraries, very few would really be wide-reaching enough to be valid. > I've seen those aspects extremely highly hyped for about 12 years ... > And if you forget them, I think Ada loose the most part of its reason to > exist. Well, personally I consider robustness, safety and ease of maintenance to be more central - so I wouldn't agree that it would lose "most part of its reason to exist." I've no first-hand experience, so this is an honest question and not rethoric, but how many Ada projects today have chosen Ada mainly because of software-reuse or portability reasons, as opposed to those who've chosen it mainly for other reasons? > There is few demand for 2 basic reasons > - There are very few Ada users > - Ada users are often very interested in making their own version of already > existing things, forgetting that goes against all their claims to justify > Ada use. Hopefully, the open-source movements might alleviate the second reason some. If Ada software packages becomes easily available on the Internet, people might get into the habit of looking before leaping. Remember, languages like Java and Perl grew together with the wide spread of the Internet, and the large, easily available code-base that makes these languages so handy is probably a direct result of that. > From my experience, well written Ada code portability is almost > straightforward as long as you care about not using specific compiler > packages or pragmas. > The additional work is almost nothing, The benefits are enormous. > After all, that's what Ada says about maintenance to justify its use. > When you've tested your code against Windows and Linux, with 2 compilers or > let's say just with Gnat public version, if you care about not using > anything compiler specific, any problem you find is very likely a compiler > bug. I think that was my point, really. ;-) -- Leif Roar Moldskred