Re: Proving Correctness (was Java Portability)

[Ole-Hjalmar Kristensen <ohk@clustra.com>]

Pascal Obry <p.obry@wanadoo.fr> writes:

> Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov> writes:
> 
> > "nicolas" <n.brunot@cadwin.com> writes:
> > 
> > > I'm not an Ada vendor, ACT is, Aonix is, Rational is.
> > > Don't count on us to do compilers vendors job ...
> > 
> > No, but we do count on you to pay them to do it.
> 
> Well said. Either way, Nicolas, you just can't get something for free. You
> should either comit some time or money.
> 
> 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"

I have to agree with Nicolas here. Please observe that he IS
committing money by buying compilers. To pay for library development
is pretty unheard of in the commercial world. Paying for the finished
library is another thing, of course.

The bottom line is that each language and compiler has its advantages
and disadvantages, including (but not limited to) price, availability,
support, and libraries. Choosing one is a (not always) simple
cost/benefit analysis.

Customers don't usually hang around to argue, the  just go somewhere
else if they cannot find what they're looking for.

-- 
Kabelsalat ist gesund.

Ole-Hj. Kristensen