Re: Proving Correctness (was Java Portability)

[Pascal Obry <p.obry@wanadoo.fr>]

"nicolas" <n.brunot@cadwin.com> writes:

> "Mike@xx" <Mike_member@newsguy.com> 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"