From: Dmitry A.Kazakov <mailbox@dmitry-kazakov.de>
Subject: Re: Run-Time Type Assignment
Date: Fri, 30 Aug 2002 00:55:51 +0200
Date: 2002-08-30T00:55:51+02:00 [thread overview]
Message-ID: <akku6o$1jborn$2@ID-77047.news.dfncis.de> (raw)
In-Reply-To: slrnampp9q.og.lutz@taranis.iks-jena.de
Lutz Donnerhacke wrote:
> * Robert A Duff wrote:
>>Kilgallen@SpamCop.net (Larry Kilgallen) writes:
>>> What is a downward closure ?
>>
>>The ability to pass a procedure as a parameter to a procedure.
>>The "downward" means the closure is passed "down" from caller to
>>callee. This is more restrictive than the "full closures" which are
>>found in Lisp and many other languages of that ilk; a full closure may
>>be *returned* from a procedure, and may be assigned into a variable.
>>
>>GNAT supports downward closures via the 'Unrestricted_Access attribute,
>>but that's not Ada (unfortunately).
>>
>>In Pascal, downward closures are very useful for making iterators and
>>other user-defined control structures.
>
> In Ada you use generics for this.
It is a nasty work-around. IMO Ada should have true subroutine types
[restricted of course].
--
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de
next prev parent reply other threads:[~2002-08-29 22:55 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-08-28 6:53 Run-Time Type Assignment Robert C. Leif
2002-08-28 11:04 ` Robert Dewar
2002-08-28 13:35 ` Robert A Duff
2002-08-28 14:56 ` Larry Kilgallen
2002-08-28 14:31 ` Robert A Duff
2002-08-28 14:59 ` Lutz Donnerhacke
2002-08-28 22:32 ` Robert A Duff
2002-08-29 22:55 ` Dmitry A.Kazakov [this message]
2002-08-28 18:03 ` Frank J. Lhota
2002-08-28 18:37 ` Pat Rogers
2002-08-28 22:47 ` Robert A Duff
2002-08-29 13:32 ` Ben Brosgol
2002-08-29 13:52 ` SIMON Claude
2002-08-29 14:30 ` Robert A Duff
2002-08-29 18:27 ` Randy Brukardt
2002-08-29 14:56 ` Robert A Duff
2002-08-30 3:04 ` Ben Brosgol
2002-08-30 22:54 ` Robert A Duff
2002-08-29 15:09 ` Larry Kilgallen
2002-08-29 14:29 ` Marin D. Condic
2002-08-28 13:41 ` Robert A Duff
2002-08-28 17:15 ` Hyman Rosen
2002-08-28 20:27 ` Björn Lundin
[not found] <002a01c24e5f$9ee347b0$789a0844@robertqgx6k4x9>
2002-08-28 11:33 ` sk
[not found] ` <3D6CB4F5.F4E05D76@myob.com>
2002-08-28 11:37 ` sk
2002-08-28 15:39 ` Robert C. Leif
2002-08-28 18:53 ` Jeffrey Carter
2002-08-28 20:54 ` Robert C. Leif
2002-08-28 22:55 ` Robert A Duff
2002-08-29 3:18 ` Robert C. Leif
[not found] <005101c24ea9$0de9c960$789a0844@robertqgx6k4x9>
2002-08-28 16:06 ` sk
2002-08-28 22:44 ` tmoran
2002-08-29 0:37 ` tmoran
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox