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-08 03:15:28 PST Path: archiver1.google.com!newsfeed.google.com!sn-xit-02!supernews.com!news.tele.dk!small.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: <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> From: Ole-Hjalmar Kristensen Message-ID: 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: Wed, 08 Aug 2001 12:14:41 MET DST Organization: Nextra Public Access X-Trace: readme.online.no 997265681 194.143.59.98 Date: 08 Aug 2001 12:15:06 +0200 Xref: archiver1.google.com comp.lang.ada:11595 Date: 2001-08-08T12:15:06+02:00 List-Id: Stephen Leake writes: > Ole-Hjalmar Kristensen writes: > > > 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. > > How is that different? Part of the profit from sales of Library 1 is > used to pay for developing Library 2. At least, it is in any company > that wants to stay in business. > Yes, but that's OK. I pay for something now, GET THE GOODS, and you use the revenue to develop something better for the future. This is substantially different from paying you now, and you promise to deliver me something in the future. > Again, it's a matter of scale. A company that sells 1 million copies > of its library can charge very little per copy for developing the next > one. Unfortunately, no Ada companies have sales in that range. > > > 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. > > True. > > > Customers don't usually hang around to argue, the just go somewhere > > else if they cannot find what they're looking for. > > Or offer to pay for what they need, when they can't find it. > > -- > -- Stephe In which case the vendor is merely a contractor, and the customer owns the product, if they have any business sense at all. -- Kabelsalat ist gesund. Ole-Hj. Kristensen