comp.lang.ada
 help / color / mirror / Atom feed
From: pattis@cs.washington.edu (Richard Pattis)
Subject: Re: Hoare, Ada, and safety/complexity
Date: 24 Nov 89 00:38:08 GMT	[thread overview]
Message-ID: <9923@june.cs.washington.edu> (raw)
In-Reply-To: 5076@fy.sei.cmu.edu


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

  reply	other threads:[~1989-11-24  0:38 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1989-11-14 21:24 A farewell to Ada Ted Holden
1989-11-14 22:54 ` schmidt
1989-11-15 16:06 ` Ada William Thomas Wolfe, 2847 
1989-11-15 16:29   ` Ada & IBM William Thomas Wolfe, 2847 
1989-11-17 15:16     ` ryer
1989-11-18 18:47       ` William Thomas Wolfe, 2847 
1989-11-20  4:53       ` Jerry Callen
1989-11-19  6:05     ` Dick Dunn
1989-11-22 19:20       ` William Thomas Wolfe, 2847 
1989-11-19 20:19     ` Liam R. E. Quin
1989-11-20 12:55       ` William Thomas Wolfe, 2847 
1989-11-25 23:35         ` Liam R. E. Quin
1989-11-26  9:03           ` Ken Ritchie
1989-11-15 23:18   ` Ada Promises Doug Schmidt
1989-11-16 22:45     ` Ada compilers William Thomas Wolfe, 2847 
1989-11-19  6:30       ` This has gotten stupid! Dick Dunn
1989-11-16 19:08   ` Ada Walter Rowe
1989-11-16 21:33     ` Ada William Thomas Wolfe, 2847 
1989-11-17 18:53       ` Ada Pablo Fernicola
1989-11-18 18:55         ` Ada William Thomas Wolfe, 2847 
1989-11-21  5:24           ` Ada Andrew Koenig
1989-11-22  9:54             ` Ada Mats Luthman
1989-11-22 18:44             ` Ada William Thomas Wolfe, 2847 
1989-11-23  9:44               ` Ada Mats Luthman
1989-11-23  7:12             ` Ada Markku Sakkinen
1989-11-21 14:35           ` Ada [and the object oriented metaphor] mjl
1989-11-22 20:54             ` Hoare, Ada, and safety/complexity John Goodenough
1989-11-24  0:38               ` Richard Pattis [this message]
1989-11-26  6:09           ` Ada vs. C++ Paul S. R. Chisholm
1989-11-18  6:38       ` Ada Marco S Hyman
1989-11-19  7:25       ` interesting statistic Dick Dunn
1989-11-22 18:54         ` William Thomas Wolfe, 2847 
1989-11-24 17:44           ` Cay Horstmann
1989-11-25 19:59             ` William Thomas Wolfe, 2847 
1989-11-17 15:59     ` Ada allows one-char names (was Re: Ada) Steve Frysinger of Blue Feather Farm
1989-11-19  5:52   ` Forward into the past Dick Dunn
1989-11-20 16:47   ` Ada vs. Posix -- the battle continues mjl
1989-11-20 21:51     ` Ada & Posix William Thomas Wolfe, 2847 
1989-11-21  1:06       ` William Thomas Wolfe, 2847 
1989-11-15 18:55 ` A farewell to Ada Richard S D'Ippolito
1989-11-17 17:19 ` Michael Schwartz
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox