Re: Proving Correctness (was Java Portability)

["nicolas" <n.brunot@cadwin.com>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3603 bytes --]

"Georg Bauhaus" <sb463ba@l1-hrz.uni-duisburg.de> a �crit dans le message
news: 9kelv1$riq$1@a1-hrz.uni-duisburg.de...
> nicolas <n.brunot@cadwin.com> wrote:
> : "Georg Bauhaus" <sb463ba@l1-hrz.uni-duisburg.de> 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 ...