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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-07 01:44:18 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!212.43.194.69!fr.clara.net!heighliner.fr.clara.net!proxad.net!feeder2-1.proxad.net!nnrp6.proxad.net.POSTED!not-for-mail
From: "nicolas" <n.brunot@cadwin.com>
Newsgroups: comp.lang.ada
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>
Subject: Re: Proving Correctness (was Java Portability)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2919.6700
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6700
Message-ID: <BTNb7.7173$NB7.5641265@nnrp6.proxad.net>
Date: Tue, 07 Aug 2001 08:44:17 GMT
NNTP-Posting-Host: 195.101.131.241
X-Complaints-To: abuse@proxad.net
X-Trace: nnrp6.proxad.net 997173857 195.101.131.241 (Tue,
 07 Aug 2001 10:44:17 CEST)
NNTP-Posting-Date: Tue, 07 Aug 2001 10:44:17 CEST
Organization: Guest of ProXad - France
Xref: archiver1.google.com comp.lang.ada:11468
Date: 2001-08-07T08:44:17+00:00
List-Id: <comp.lang.ada>

"Stephen Leake" <stephen.a.leake.1@gsfc.nasa.gov> a �crit dans le message
news: uelqpgmrx.fsf@gsfc.nasa.gov...
> Actually, they do. Part of the cost of the TV set is paying for the
> mortgage on the current factory, and investing in the next factory.
> Same for Ada libraries; somebody has to pay for them. Part of the fee
> we pay to ACT for support goes to building new libraries.

What you pay a specific company like ACT for what they provide is your
decision.
We were talking about Ada and libraries in a much more global way.

> The difference is in scale. When you sell millions of TVs, the
> incremental cost of the next factory for each TV set is very small.
> But ACT only sells hundreds (I'm guessing here) of support contracts,
> so the incremental cost is higher.

No the difference is that you pay for the product you want to buy, once the
product is finished, available, working, if you like it, and if there is not
a cheaper better one besides.
You don't pay to build the factory, the company invest a lot, and can count
on an income only if the result is good.
I'd really like to see you in a TV store :-)
"Stephen, give me money now, I'm going to develop a great TV set, build a
factory, and I promise you will have a great TV set within a few years ..."