comp.lang.ada
 help / color / mirror / Atom feed
From: "Michael F. Yoder" <yoder@decada.zko.dec.com>
Subject: Re: Function Calls by Address
Date: 1999/09/07
Date: 1999-09-07T00:00:00+00:00	[thread overview]
Message-ID: <37D504BB.631A46FD@decada.zko.dec.com> (raw)
In-Reply-To: 37CFFEA6.921CBE59@magic.fr

Francois Godme wrote:
>By the same matter, who is still using the
> 'separate' construct for writing new applications?
> 
> Francois Godme

I agree with essentially all the other pro-subunit arguments that have
been posted, and I'd like to add two not yet adduced.

My primary use of 'separate' is to aid the "literate programming"
process: it greatly simplifies exposition with a literate programming
tool that has no macro facility.  (Those familiar with WEB et al. may be
surprised by this, but macros aren't needed for literate programming. 
Macros that go beyond trivial uses are unsafe, hard to debug, and hard
to modify, so this is a good thing IMO.)

Aside from this, I think the top-down, stepwise refinement method is
hard to beat for producing clean, correct programs efficiently.  (Newer
paradigms are not necessarily better paradigms.)  Bottom-up methods
often suffer from the St. Louis archway problem: you build the two
halves of the arch and find they are several feet apart at the top, then
resort to kludgery to fix things.  In the case of the archway, the
solution was fire hoses applied to produce differential thermal
expansion; this had the virtue of not leaving permanent scars, which
isn't always true for software fixups.

Lest this spin off an entirely new thread, I'll note that I more often
use alternating top-down and bottom-up coding than a pure top-down style
(and I sometimes temporarily paint myself into a corner as a result). 
But if I had to choose between doing one or the other strictly, I would
elect the top-down approach.

-- 
Michael F. Yoder

Unscientific man is beset by a deplorable desire to have been right.
The scientist is distinguished by a desire to *be* right. -- W.V. Quine




      parent reply	other threads:[~1999-09-07  0:00 UTC|newest]

Thread overview: 50+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-08-30  0:00 Function Calls by Address Craig Jameson
1999-08-30  0:00 ` Robert Dewar
1999-08-30  0:00 ` Robert Dewar
1999-08-31  0:00   ` Martin Gangkofer
1999-08-30  0:00 ` Marin David Condic
1999-08-30  0:00   ` Marin David Condic
1999-08-30  0:00     ` Larry Kilgallen
1999-08-30  0:00   ` Robert Dewar
1999-08-31  0:00 ` David Kristola
1999-08-31  0:00 ` Matthew Heaney
1999-09-01  0:00 ` Simon Wright
1999-09-02  0:00 ` Francois Godme
1999-09-03  0:00   ` Robert Dewar
1999-09-03  0:00     ` Francois Godme
1999-09-03  0:00       ` Robert Dewar
1999-09-03  0:00         ` Ted Dennison
1999-09-04  0:00           ` Jean-Pierre Rosen
1999-09-05  0:00             ` Ehud Lamm
1999-09-05  0:00             ` Matthew Heaney
1999-09-04  0:00         ` Brian Rogoff
1999-09-05  0:00           ` Robert Dewar
1999-09-05  0:00           ` Robert Dewar
1999-09-05  0:00           ` Robert Dewar
1999-09-03  0:00       ` Simon Wright
1999-09-03  0:00       ` David C. Hoos, Sr.
1999-09-04  0:00         ` Robert Dewar
1999-09-05  0:00           ` Francois Godme
1999-09-06  0:00             ` Robert Dewar
1999-09-06  0:00               ` Francois Godme
1999-09-06  0:00                 ` Robert Dewar
1999-09-06  0:00                 ` Robert Dewar
1999-09-06  0:00                   ` Bob Collins
1999-09-07  0:00                     ` Pascal Obry
1999-09-07  0:00                 ` Pascal Obry
1999-09-07  0:00                   ` Francois Godme
1999-09-08  0:00                   ` Francois Godme
1999-09-03  0:00       ` Marin David Condic
1999-09-14  0:00         ` Robert I. Eachus
     [not found]           ` <wcc3dwgb7ii.fsf@world.std.com>
     [not found]             ` <37E81079.CC2566D9@mitre.org>
1999-09-22  0:00               ` Robert A Duff
1999-09-22  0:00                 ` Robert I. Eachus
1999-09-23  0:00                 ` Robert Dewar
1999-09-23  0:00                   ` Robert A Duff
1999-09-04  0:00       ` Mario Klebsch
1999-09-05  0:00         ` Robert Dewar
1999-09-06  0:00           ` Francois Godme
1999-09-05  0:00             ` Brian Rogoff
1999-09-06  0:00             ` Robert Dewar
1999-09-08  0:00               ` Georg Bauhaus
1999-09-05  0:00       ` Geoff Bull
1999-09-07  0:00       ` Michael F. Yoder [this message]
replies disabled

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