Re: Proving Correctness (was Java Portability)

["Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>]

Well, one way to get it done would be for a handful of Ada advocates to
build a desirable library under the Ada Developers Cooperative License and
make it available on the net. Compiler vendors could freely bundle the
library(ies) with their compilers and would be encouraged to do so. End
users could use the library(ies) at no cost to develop whatever they want.
The original developers would be doing this as a kind of sweat equity that
would potentially make them some money if/when someone utilizes the
library(ies) in their finished commercial product.

Asking someone to volunteer to make a library in his spare time and make it
available everywhere freely and never offer any compensation to him is going
to require that we find either a saint or a fool. I don't see any big rush
on the part of developers here to do this - so maybe that is evidence that
giving it away free is not sufficient incentive to get the job done. Since
compiler writers are reluctant to do this themselves and can't afford
necessarily to fund a bunch of us to do it for them, I'd think it would be
nothing but up-side for them to have it done under the ADCL.

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"Pascal Obry" <p.obry@wanadoo.fr> wrote in message
news:upua8tadu.fsf@wanadoo.fr...
>
> But don't get me wrong, I'd love to see more standardized libraries. Now
to be
> constructive, just try to propose something that WILL work! Of course you
> can't expect Aonix to drive, build nice library and let others integrate
them
> for free (gratis) !
>