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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Newsgroups: comp.lang.ada
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!think.com!linus!linus!linus!mbunix!eachus
From: eachus@largo.mitre.org (Robert I. Eachus)
Subject: Re: Yearly Fees for Support of Compiler
In-Reply-To: nash@ac17.cs.nps.navy.mil's message of 8 May 91 18:24:42 GMT
Message-ID: <EACHUS.91May14225903@largo.mitre.org>
Sender: news@linus.mitre.org (News Service)
Nntp-Posting-Host: largo.mitre.org
Organization: The Mitre Corp., Bedford, MA.
References: <2222@ac17.cs.nps.navy.mil>
Date: 14 May 91 22:59:03
List-Id: <comp.lang.ada>

In article <2222@ac17.cs.nps.navy.mil> nash@ac17.cs.nps.navy.mil (david nash) writes:

   I disagree with Mr. Taft's point of view.  In my mind, reputable companies
   that market software make an implicit promise of correctness to would-be
   buyers.  The gentleman to whom Mr. Taft responded was suggesting that they
   provide bug fixes without payment, not enhanced features.

   I totally disagree when it comes to compilers, no one who knows
what they are talking about will make any promise of "correctness." In
fact, any compiler expert will guarentee that ANY compiler that you
buy will have bugs in it, and in fact will have some errors which
can't be proven to be errors!  (If you don't understand whence this
comes read Godel, Escher, Bach... and apply the incompleteness theorem
to compilers.)  So, many times, the effect of "support" is known to be
that "fixing" the compiler so that user X can compile his program,
means that some user Y will be complaining later that the new version
of the compiler won't compile his old source file!


					Robert I. Eachus

with STANDARD_DISCLAIMER;
use  STANDARD_DISCLAIMER;
function MESSAGE (TEXT: in CLEVER_IDEAS) return BETTER_IDEAS is...
--

					Robert I. Eachus

with STANDARD_DISCLAIMER;
use  STANDARD_DISCLAIMER;
function MESSAGE (TEXT: in CLEVER_IDEAS) return BETTER_IDEAS is...