comp.lang.ada
 help / color / mirror / Atom feed
From: Richard D Riehle <laoXhai@ix.netcom.com>
Subject: Re: Inheritance and Polymorphism in Ada !!
Date: 1999/10/23
Date: 1999-10-23T00:26:09+00:00	[thread overview]
Message-ID: <7uqvb1$2m4$1@nntp3.atl.mindspring.net> (raw)
In-Reply-To: 7udtav$ma4$1@nnrp1.deja.com

>In article <38077b65_1@news1.prserv.net>,
>  "Matthew Heaney" <matthew_heaney@acm.org> wrote:
>> The purpose of a declare block is to localize the declaration
>> of objects, as your example illustrated.

I remembered reading a short discussion of the Algol
equivalent of declare blocks in Dijkstra's oldie but goodie, 
A Discipline of Computer Programming.  So I pulled my
dog-eared copy from a nearby bookshelf to re-read it.
Read chapter 10 for a well-reasoned criticism of this notion.  

Not very much has changed in the Ada declare block.  All the 
same problems exist that we had with Algol. It is quite 
wonderful that we are still arguing the same issues that we 
were arguing about in 1976 when Dijkstra's book was published.

Richard Riehle
http://www.adaworks.com




  reply	other threads:[~1999-10-23  0:00 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-10-15  0:00 Inheritance and Polymorphism in Ada !! Chango Cho
1999-10-15  0:00 ` Lutz Donnerhacke
1999-10-15  0:00 ` Ted Dennison
1999-10-15  0:00 ` Andreas Winckler
1999-10-15  0:00   ` Richard D Riehle
1999-10-15  0:00     ` Matthew Heaney
1999-10-15  0:00       ` Richard D Riehle
1999-10-18  0:00       ` Robert Dewar
1999-10-23  0:00         ` Richard D Riehle [this message]
1999-10-24  0:00           ` Robert Dewar
1999-10-24  0:00             ` Brian Rogoff
1999-10-26  0:00               ` Robert Dewar
1999-10-25  0:00             ` Robert A Duff
1999-10-26  0:00               ` Robert Dewar
1999-10-26  0:00                 ` Robert A Duff
1999-10-18  0:00       ` Robert A Duff
1999-10-19  0:00         ` Robert Dewar
1999-10-20  0:00           ` Robert A Duff
1999-10-21  0:00             ` Paul Duquennoy
1999-10-21  0:00             ` Simon Wright
1999-10-21  0:00               ` Robert A Duff
1999-10-21  0:00             ` Robert Dewar
1999-10-22  0:00         ` Matthew Heaney
1999-10-15  0:00   ` Matthew Heaney
1999-10-18  0:00     ` Robert A Duff
1999-10-18  0:00       ` Brian Rogoff
1999-10-15  0:00   ` Stephane Barbey
1999-10-15  0:00   ` tmoran
1999-10-15  0:00     ` tmoran
1999-10-15  0:00   ` Lutz Donnerhacke
1999-10-18  0:00   ` Robert A Duff
replies disabled

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