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 X-Google-Thread: 103376,be23df8e7e275d73 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-07 15:12:58 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!paloalto-snf1.gtei.net!news.gtei.net!enews.sgi.com!newshub2.rdc1.sfba.home.com!news.home.com!news2.rdc2.tx.home.com.POSTED!not-for-mail Message-ID: <3B706ADC.B4847AC3@home.com> From: Larry Elmore X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.4.7 i586) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Proving Correctness (was Java Portability) References: <9jrt62$38t$1@nh.pace.co.uk> <3B619A6D.5DD6E782@home.com> <3B6636BA.96FD8348@home.com> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de> <9kchn1$lng$1@a1-hrz.uni-duisburg.de> <9kea9a$lsc$1@nh.pace.co.uk> <9keduf$qvc$1@a1-hrz.uni-duisburg.de> <9kelv1$riq$1@a1-hrz.uni-duisburg.de> <9klokd0nif@drn.newsguy.com> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Date: Tue, 07 Aug 2001 22:12:57 GMT NNTP-Posting-Host: 65.10.25.74 X-Complaints-To: abuse@home.net X-Trace: news2.rdc2.tx.home.com 997222377 65.10.25.74 (Tue, 07 Aug 2001 15:12:57 PDT) NNTP-Posting-Date: Tue, 07 Aug 2001 15:12:57 PDT Organization: Excite@Home - The Leader in Broadband http://home.com/faster Xref: archiver1.google.com comp.lang.ada:11538 Date: 2001-08-07T22:12:57+00:00 List-Id: nicolas wrote: > > "Stephen Leake" 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. It was a specific example to illustrate a general principle. ("... _like_ ACT...") You're free to substitute any other company name you feel like, Nicolas. Unless there's one you know of that's an exception to that statement? > > 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. Duh. And the price charged is calculated to cover all the costs of development and doing business (including taxes), plus a certain percentage for profit (some of which will be reinvested in R&D and other parts of the company). If you sell fewer units, you need a higher profit margin per unit to make the equation balance. From your statements relating to economics, I'd guess you either have nothing to do with the business side of your company, or else it's customers consist mostly of government agencies or other companies dealing mostly with government agencies. > 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. You _don't_??!! _WHO DOES_, then, if not the customer? > 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 ..." Duh... What do you think investors do every day? How in the world do you think the vast majority of companies got started in the first place? Government mandate, or magic? Larry