From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Subverting 'Access for Sub-programs
Date: 1999/08/13
Date: 1999-08-13T00:00:00+00:00 [thread overview]
Message-ID: <Pine.BSF.4.10.9908131632421.23367-100000@shell5.ba.best.com> (raw)
In-Reply-To: 7ovrd0$1d9$1@nnrp1.deja.com
On Fri, 13 Aug 1999, Robert Dewar wrote:
> Really what we need to do at this stage is to try to get some
> idea of what the Ada user community wants. GNAT users are not
> the best source of help here, since the problem is already
> completely solved in GNAT (although of course not in a portable
> manner!)
I think GNAT users are as good a source of help as any other
implementation bound subset of Ada users. At least GNAT users
can speak from experience as to how useful Unrestricted_Access
is, what contexts they use it in, etc. I can tell you that I much
prefer it to using generics to simulate downward funargs, though I almost
always use generics because that approach is portable between compilers.
From the question which started this thread, I presume many people agree.
I still think generic subprograms are useful for type checking, like
the "where clauses" of CLU and Theta, but as downward funargs they only
provide a clumsy workaround, IMO of course :-).
> For users of other compilers, how much of a restriction is it
> to have access-to-procedure have the limitations of the current
> Ada 95 design, that is the question.
>
> I certainly know, as I have previously noted, that we make
> extensive use of Unrestricted_Access in the GNAT runtime (there
> are well over 100 instances in gnatlib). This is certainly not
> typical. First, a lot of it is low level system type code,
> second, you tend to use features that are available if it is
> the easiest way of doing things, and it does not always mean
> that you couldn't manage OK without them :-)
Well, since much of the philosophy of Ada is about readability,
maintainability, reusable libraries, etc., the fact that the
use of these GNAT extensions makes programming easier is telling!
I certainly wouldn't abandon Ada over this deficiency, but given the
fact that Ada has nested functions and lexical scope, the absence of
direct support for downward funargs is very irritating.
-- Brian
next prev parent reply other threads:[~1999-08-13 0:00 UTC|newest]
Thread overview: 68+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-08-03 0:00 Subverting 'Access for Sub-programs Anton Gibbs
1999-08-03 0:00 ` Ted Dennison
1999-08-03 0:00 ` tmoran
1999-08-03 0:00 ` Steve Doiel
1999-08-03 0:00 ` Michael F. Yoder
1999-08-03 0:00 ` Brian Rogoff
1999-08-03 0:00 ` David C. Hoos, Sr.
1999-08-05 0:00 ` Robert A Duff
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Robert A Duff
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Anton Gibbs
1999-08-04 0:00 ` Jean-Pierre Rosen
1999-08-04 0:00 ` Brian Rogoff
1999-08-05 0:00 ` Jean-Pierre Rosen
1999-08-05 0:00 ` Robert A Duff
1999-08-05 0:00 ` tmoran
1999-08-06 0:00 ` Robert A Duff
1999-08-05 0:00 ` Brian Rogoff
1999-08-06 0:00 ` Robert Dewar
1999-08-09 0:00 ` Tucker Taft
1999-08-10 0:00 ` Robert Dewar
1999-08-11 0:00 ` Tucker Taft
1999-08-13 0:00 ` Robert Dewar
1999-08-13 0:00 ` Brian Rogoff [this message]
1999-08-13 0:00 ` Robert Dewar
1999-08-11 0:00 ` Robert A Duff
1999-08-11 0:00 ` Robert Dewar
1999-08-11 0:00 ` Dmitry A. Kazakov
1999-08-11 0:00 ` Robert Dewar
1999-08-12 0:00 ` Dmitry A. Kazakov
1999-08-14 0:00 ` Robert Dewar
1999-08-16 0:00 ` Dmitry A. Kazakov
1999-08-11 0:00 ` Richard D Riehle
1999-08-05 0:00 ` Robert Dewar
1999-08-05 0:00 ` adam
1999-08-05 0:00 ` Robert Dewar
1999-08-05 0:00 ` What is a Display ? (was: Subverting 'Access for Sub-programs) Larry Kilgallen
1999-08-05 0:00 ` Hyman Rosen
1999-08-06 0:00 ` Robert Dewar
1999-08-06 0:00 ` Robert Dewar
1999-08-05 0:00 ` Subverting 'Access for Sub-programs adam
1999-08-06 0:00 ` Robert A Duff
1999-08-06 0:00 ` adam
1999-08-09 0:00 ` Mark Biggar
1999-08-09 0:00 ` Robert A Duff
1999-08-06 0:00 ` Brian Rogoff
1999-08-07 0:00 ` Gautier
1999-08-05 0:00 ` Robert A Duff
1999-08-05 0:00 ` Robert Dewar
1999-08-05 0:00 ` Brian Rogoff
1999-08-04 0:00 ` Robert A Duff
1999-08-04 0:00 ` Brian Rogoff
1999-08-05 0:00 ` tmoran
1999-08-05 0:00 ` Robert Dewar
1999-08-05 0:00 ` Ray Blaak
1999-08-06 0:00 ` Robert Dewar
1999-08-06 0:00 ` Robert A Duff
1999-08-08 0:00 ` Brian Rogoff
1999-08-09 0:00 ` Robert A Duff
1999-08-10 0:00 ` Brian Rogoff
1999-08-09 0:00 ` Tucker Taft
1999-08-06 0:00 ` Jean-Pierre Rosen
1999-08-06 0:00 ` Hyman Rosen
1999-08-07 0:00 ` Florian Weimer
1999-08-05 0:00 ` Aidan Skinner
1999-08-05 0:00 ` Anton Gibbs
1999-08-05 0:00 ` Steve Quinlan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox