comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Is Ada likely to survive ?
Date: 1997/08/03
Date: 1997-08-03T00:00:00+00:00	[thread overview]
Message-ID: <dewar.870620488@merv> (raw)
In-Reply-To: 33E24422.181@gsg.eds.com


Seymour said

  While there were some flaws, ALGOL 68 was a fairly nice language. IMHO
  what killed it was a defining document that was unnecessarilly terse.
  The use of a W-grammar to define the language was reasonable; the
  paucity of elucidation was not.

Robert replies

  I don't think unnnecessary terseness was the issue here, but rather
  the sacrifice of informal readability to precision and accuracy. There
  were VERY rarely any arguments about what the defining document said
  or meant, and very very few errors were found (though of course you
  could argue that it was never widely used compared to say Ada).

  But the definining document is no less accessible than say the COBOL
  standard in my view, and had the advantage that implementors at least
  could exactly understand what it said, and easily find anything they
  wanted there. Yes, it required some effort to understand, but that
  is true of any formal definition (by comparison, the Ada standard is
  an informal definition at best).

  The problem is that formal definitions are indeed very much inaccessible
  to those without the skills in reading documents of the type. No amount
  of informal explanation would have helped people to read the Algol-68
  RR if they did not have the necessary mathematical background to be
  comfortable with a highly formal style of presentation.

  For most languages, programmers never see the defining document. How many
  COBOL programmers have read the COBOL standard? Virtually none. How many
  C programmes have read the C standard? Very few. How many C++ programmers
  have read the standard? Trick question -- none, there is no standard yet.

  People typically learn languages from sources other than the defining
  document, and this has been true ever since Algol-60 days (Algol-60
  was the one clear counter-example). Ada-83 came close to Algol-60
  in the extent to which programmers had at least looked at the standard,
  but still most programmers did not learn Ada 83 from the RM.

  What went wrong in retrospect was that informal materials were far too
  slow in coming, and that compilers were slow to appear. If the Algol-68R
  compiler had received wide dissemination on many machines, together with
  Ian Currie's wonderful 80 page "little yellow book", the picture would
  have been different. Indeed in the UK, Algol-68 was widely used, and a
  survey in the early 70's in the British Computer Journal showed the
  overwhelming majority of British Universities naming Algol-68 as the
  ideal teaching language (that same survey shows US universities choosing
  Fortran as the ideal teaching language!)

  Unfortunately the ICL machines were never very successful outside UK
  (where the government forced many universities to choose them).

Seymour said

  SPITBOL is basically SNOBOL 4 with a few minor things stripped out; it
  is quite different from Icon. I understand that there is a SPITBOL for
  the PC from Catspaw.

Robert replies

  Not quite, they are dialects. Spitbol leaves out a couple of the most
  dynamic features of SNOBOL4 that are rarely used (e.g. the ability
  to distinguish between names and values dynamically in pathological
  cases), but also adds many useful features. Spitbol is a compiler 
  that runs typically ten times faster than the Snobol4 interpretors,
  and was one of the early demonstrations that highly dynamic languages
  could be compiled efficiently.





  reply	other threads:[~1997-08-03  0:00 UTC|newest]

Thread overview: 78+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-07-18  0:00 Is Ada likely to survive ? safetran
1997-07-18  0:00 ` Stanley Allen
1997-07-19  0:00 ` Robert Dewar
1997-07-20  0:00   ` Paul Van Bellinghen
1997-07-21  0:00   ` Shmuel (Seymour J.) Metz
1997-07-19  0:00 ` Brian Rogoff
1997-07-21  0:00   ` Shmuel (Seymour J.) Metz
1997-07-28  0:00     ` W. Wesley Groleau x4923
1997-07-29  0:00       ` Robert Dewar
1997-07-29  0:00         ` dcw
1997-07-30  0:00         ` Steve Jones - JON
1997-07-30  0:00       ` HARRY R. ERWIN
1997-07-31  0:00         ` Richard A. O'Keefe
1997-07-31  0:00           ` Brian Rogoff
1997-08-02  0:00             ` Robert Dewar
1997-08-02  0:00               ` Brian Rogoff
1997-08-03  0:00                 ` Robert Dewar
1997-07-31  0:00           ` HARRY R. ERWIN
1997-08-01  0:00           ` William Clodius
     [not found]             ` <5s6ng4$rq7$1@goanna.cs.rmit.edu.au>
1997-08-07  0:00               ` Brian Rogoff
1997-08-11  0:00                 ` Richard A. O'Keefe
1997-08-11  0:00                   ` Brian Rogoff
1997-08-01  0:00           ` William Clodius
1997-07-31  0:00         ` Robert Dewar
1997-07-31  0:00           ` Brian Rogoff
1997-08-01  0:00             ` Shmuel (Seymour J.) Metz
1997-08-03  0:00               ` Robert Dewar [this message]
1997-08-05  0:00                 ` Shmuel (Seymour J.) Metz
1997-07-19  0:00 ` robin
1997-07-23  0:00   ` Valerio Bellizzomi
1997-08-01  0:00     ` robin
1997-08-02  0:00       ` Robert Dewar
     [not found]         ` <5s6q6b$f3$1@goanna.cs.rmit.edu.au>
1997-08-09  0:00           ` Ejon
1997-08-10  0:00             ` Robert Dewar
1997-08-11  0:00             ` Shmuel (Seymour J.) Metz
1997-08-17  0:00             ` robin
1997-08-17  0:00               ` Robert Dewar
1997-08-22  0:00                 ` robin
     [not found]                   ` <5u3c69$5tj$1@goanna.cs.rmit.edu.au>
1997-08-28  0:00                     ` Robert Dewar
1997-08-30  0:00                     ` robin
1997-09-08  0:00                       ` Richard A. O'Keefe
1997-09-17  0:00                         ` robin
1997-07-23  0:00   ` Adam Beneschan
1997-07-22  0:00     ` Nasser
1997-07-20  0:00 ` Odo Wolbers
1997-07-21  0:00 ` Anonymous
1997-07-21  0:00 ` safetran
1997-07-22  0:00   ` Jon S Anthony
1997-07-22  0:00     ` Nasser
1997-07-23  0:00       ` Jon S Anthony
1997-07-27  0:00       ` jorgie
1997-07-28  0:00         ` Peter Hermann
  -- strict thread matches above, loose matches on Subject: below --
1997-08-04  0:00 Marin David Condic, 561.796.8997, M/S 731-96
1997-08-06  0:00 ` Robert Dewar
1997-08-06  0:00   ` HARRY R. ERWIN
1997-08-06  0:00     ` rodney
1997-08-10  0:00   ` Fergus Henderson
1997-08-10  0:00     ` Robert A Duff
1997-08-11  0:00     ` Jerry van Dijk
     [not found] ` <01bca387$42ffbce0$18a9f5cd@asip120>
1997-08-13  0:00   ` HARRY R. ERWIN
     [not found]     ` <3404215f.0@news.uni-ulm.de>
1997-08-27  0:00       ` Robert Dewar
1997-08-13  0:00   ` Mark A Biggar
1997-08-07  0:00 Marin David Condic, 561.796.8997, M/S 731-96
1997-08-10  0:00 ` Robert Dewar
1997-08-11  0:00   ` Richard Kenner
1997-08-11  0:00     ` Robert Dewar
1997-08-11  0:00 ` John English
1997-08-14  0:00 Marin David Condic, 561.796.8997, M/S 731-96
1997-08-16  0:00 ` Robert Dewar
1997-08-17  0:00   ` Jerry van Dijk
1997-08-17  0:00     ` No Spam
1997-08-19  0:00       ` John English
1997-08-19  0:00     ` Mike Stark
1997-08-27  0:00       ` Jerry van Dijk
1997-08-19  0:00     ` John English
1997-08-19  0:00   ` John English
1997-08-24  0:00     ` Robert Dewar
1997-08-26  0:00       ` Shmuel (Seymour J.) Metz
replies disabled

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