From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-07 00:18:50 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!148.122.208.68!news2.oke.nextra.no!nextra.com!news1.oke.nextra.no.POSTED!not-for-mail
Sender: ohk@maestro.clustra.com
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
 <9jrt62$38t$1@nh.pace.co.uk> <3B619A6D.5DD6E782@home.com>
 <DF897.3617$ee.3921026@nnrp5.proxad.net> <3B6636BA.96FD8348@home.com>
 <TLt97.9335$Xa.790630@nnrp4.proxad.net> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de>
 <yy9a7.3017$ss3.4363386@nnrp6.proxad.net>
 <9kchn1$lng$1@a1-hrz.uni-duisburg.de>
 <R1ta7.4077$ke.4769807@nnrp6.proxad.net> <9kea9a$lsc$1@nh.pace.co.uk>
 <9keduf$qvc$1@a1-hrz.uni-duisburg.de>
 <Reza7.18403$px7.4304991@nnrp1.proxad.net>
 <9kelv1$riq$1@a1-hrz.uni-duisburg.de>
 <dVsb7.5035$2i4.5346431@nnrp6.proxad.net> <9klokd0nif@drn.newsguy.com>
 <gkvb7.6275$R8.5682297@nnrp6.proxad.net> <uhevluxrf.fsf@wanadoo.fr>
 <qSxb7.6335$3h7.5575697@nnrp6.proxad.net> <uelqpgmrx.fsf@gsfc.nasa.gov>
 <uzo9cu3o8.fsf@wanadoo.fr>
From: Ole-Hjalmar Kristensen <ohk@clustra.com>
Message-ID: <umqk80gbann.fsf@maestro.clustra.com>
User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.3
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
NNTP-Posting-Host: 194.143.59.98
X-Complaints-To: news-abuse@nextra.no
NNTP-Posting-Date: Tue, 07 Aug 2001 09:18:12 MET DST
Organization: Nextra Public Access
X-Trace: readme.online.no 997168692 194.143.59.98
Date: 07 Aug 2001 09:18:36 +0200
Xref: archiver1.google.com comp.lang.ada:11457
Date: 2001-08-07T09:18:36+02:00
List-Id: <comp.lang.ada>

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