Re: Callback in Ada

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sat, 27 Nov 2010 14:11:36 -0700, Jeffrey Carter wrote:

> in the case of 
> access-to-subprogram, the anonymous form has an advantage over named types: they 
> allow passing access to a local subprogram ("downward funargs") without any of 
> the accessibility checks or worries that accompany named types. I can't say I'm 
> a fan of the syntax, but that's a useful capability.

Nevertheless it is a language design flaw. The language should have had
procedural types, i.e. instead of:

   procedure Foo (Closure : not null access procedure (I : Integer));
   procedure Bar (I : Integer);
   ...
   Foo (Bar'Access);

we would be able to write:

   procedure Foo (Closure : procedure (I : Integer));
   procedure Bar (I : Integer);
   ...
   Foo (Bar);

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de