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, MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!uw-beaver!uw-june!pattis From: pattis@cs.washington.edu (Richard Pattis) Newsgroups: comp.lang.ada Subject: Re: Hoare, Ada, and safety/complexity Message-ID: <9923@june.cs.washington.edu> Date: 24 Nov 89 00:38:08 GMT References: <21248@uflorida.cis.ufl.EDU> <7115@hubcap.clemson.edu> <5076@fy.sei.cmu.edu> Organization: U of Washington, Computer Science, Seattle Summary: How I read the foreword List-Id: Indeed, Tony Hoare wrote the foreword quoted (the complete foreword is about twice as long). Here is the context: Hoare is a series editor for Prentice- Hall International, and he writes a foreword for most books in the series, including the one written by Watt, Wichmann, and Findlay. In my reading of the foreword, it shows a masterful double meaning in every sentence. It looks as if Hoare is praising Ada, but he is really praising (1) the ideas behind Ada and (2) learning about Ada (without praising using Ada). Every sentence has a wonderful spin on it. I advise everyone to read this foreword skeptically; you'll surely smile a bit. The authors are much more positive in their praise of language (I vastly prefer teaching it, compared to Pacsal or Modula-2 in my CS-1/CS-2 classes). But I don't think Hoare's preface can in any way be construed as being positive towards Ada, nor as anything contrary to his Turing lecture. Rich Pattis