From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Idea for Ada 200x: Arguments that are procedures
Date: 1998/07/07
Date: 1998-07-07T00:00:00+00:00 [thread overview]
Message-ID: <Pine.BSF.3.96.980707141343.2883C-100000@shell5.ba.best.com> (raw)
In-Reply-To: EACHUS.98Jul7162415@spectre.mitre.org
On 7 Jul 1998, Robert I. Eachus wrote:
> Ada 83 and Ada 95 both support downward closures through use of
> generics.
Don't you agree that the expression of programs which naturally use
downward closures is clumsy with generics? I also question the performance
impact of this "workaround". Richard O'Keefe had a very nice post last
time this came up in which he benchmarked a simple numerical integration
routine in Ada, Pascal, Scheme, C, and Fortran, with the Ada using
generics and the Scheme (amongst others) using downward closures. The
Scheme compiler was able to do some impressive optimizations and ended up
performing much better; more importantly, the Scheme code was much more
readable IMO than the Ada.
> Since the feature is "in there" for when it
> is needed, I saw no reason to continue the fight for a simpler syntax.
In the context of the 9X project, this was wise. Better to have a
good standard today, than a better one at some undetermined future date.
But this is definitely one of those things I hope gets fixed in a future
language revision.
-- Brian
prev parent reply other threads:[~1998-07-07 0:00 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-07-03 0:00 Idea for Ada 200x: Arguments that are procedures Van Snyder
1998-07-02 0:00 ` Robert Dewar
1998-07-02 0:00 ` Brian Rogoff
1998-07-03 0:00 ` Charles Hixson
1998-07-04 0:00 ` Larry Kilgallen
1998-07-06 0:00 ` Dr Richard A. O'Keefe
1998-07-03 0:00 ` Steve Whalen
1998-07-03 0:00 ` Robert Dewar
1998-07-03 0:00 ` Brian Rogoff
1998-07-03 0:00 ` Brian Rogoff
1998-07-03 0:00 ` Steve Whalen
1998-07-04 0:00 ` Larry Kilgallen
1998-07-07 0:00 ` Robert I. Eachus
1998-07-07 0:00 ` Brian Rogoff [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