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: 1394 bytes --]

"AG" <ang@xtra.co.nz> a �crit dans le message news:
LH_a7.739$fg7.176384@news.xtra.co.nz...
>
> "nicolas" <n.brunot@cadwin.com> wrote in message
> news:bmya7.18382$Iu6.4283510@nnrp1.proxad.net...
> > "Marin David Condic" <marin.condic.auntie.spam@pacemicro.com> a �crit
dans
> > le message news: 9ke9pa$lks$1@nh.pace.co.uk...
> > > So, IMHO, Ada needs to be more "Customer Centered" and offer the users
&
> > > potential users the kinds of things they are currently buying.
>
> Well, if you only offer what they are currently buying you aren't going to
> pull them
> away from what they are currently buying:) I thought the whole point was
to
> offer
> something better.

And better usually means at least as good, which doesn't prevent to you from
offering something better.
We agree ...
I wouldn't see any reason to use Ada if it was only as good as other
languages.

> > I agree. No product, how excellent it is, can afford to forget this
> > elementary rule
>
> If that was true we would still be using stone hammers to hunt wooly
> mammothes
> (or whatever the plural is for mammoth). After all - that was exactly what
> the
> customers were buying at the time.
>

May be the danger of mammoth hunting ... or their extinction ...
Great, we just have to wait for the extinction of other languages to see Ada
qualities widely recognized.
I'm afraid I'll be retired at that time ...