comp.lang.ada
 help / color / mirror / Atom feed
From: gautier_niouzes@hotmail.com (Gautier)
Subject: Re: The 1980 ACM Turing Award Lecture The Emperor's Old Clothes
Date: 15 Jun 2002 10:32:16 -0700
Date: 2002-06-15T17:32:16+00:00	[thread overview]
Message-ID: <17cd177c.0206150932.61201714@posting.google.com> (raw)
In-Reply-To: ghulgusimqi06kp1gqkhaeovpm65bnhmbj@4ax.com

> >(however, it's amusing to read it with today's eyes,
> >especially what happened to the minimalist creations
> >coming from ivory towers)

Lyle McKennot:

> Hoare's own CSP did become very influential though.
> 
> It is the third most cited computer science reference listed by
> ResearchIndex. 

Hopefully, good ideas come from ivory towers!
The issue is the concretisation.

Back to the lecture: what is better for whom (language creators
or programmers) ?

 (1) a large language that one can subset if needed
 (2) a small language that one can extend if needed

For using (1) the design has to be excellent.
Making (1) is completely out of reach of the "ivory tower".
The obvious weakness of (2) is the incompatibility
between extensions and standard libraries.

________________________________________________________
Gautier  --  http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, address on the Web site!



  reply	other threads:[~2002-06-15 17:32 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-06-15  6:13 The 1980 ACM Turing Award Lecture The Emperor's Old Clothes Gautier direct_replies_not_read
2002-06-15  8:34 ` Lyle McKennot
2002-06-15 17:32   ` Gautier [this message]
2002-06-19  7:07 ` Peter Amey
  -- strict thread matches above, loose matches on Subject: below --
2002-06-14  0:49 ada paper critic Immanuel Scholz
2002-06-14  1:28 ` Immanuel Scholz
2002-06-14 15:25   ` John R. Strohm
2002-06-15  4:06     ` The 1980 ACM Turing Award Lecture The Emperor's Old Clothes Lyle McKennot
2002-06-15 13:45       ` Ted Dennison
2002-06-15 13:55         ` Ed Falis
2002-06-15 15:03           ` Pat Rogers
2002-06-15 18:42         ` Jeffrey Carter
2002-06-16 22:25         ` Wes Groleau
2002-06-15 18:01       ` Robert I. Eachus
2002-06-16  1:53         ` Hyman Rosen
2002-06-17 20:06           ` Robert I. Eachus
2002-06-17 20:54             ` Hyman Rosen
2002-06-18 14:56               ` Stephen Leake
2002-06-18 17:08                 ` Hyman Rosen
2002-06-16  3:15         ` Lyle McKennot
2002-06-16  3:51           ` Pat Rogers
replies disabled

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