Re: Ada202X : Adding functors

[sbelmont700@gmail.com]

On Thursday, November 15, 2012 5:11:05 AM UTC-5, Dmitry A. Kazakov wrote:
> 
> I doubt that could be made compatible with static typing. Comparing 
> 
> advantages of both static typing is a clear winner.
> 
> 

I always envisioned a sort of access-to-subprogram parameter-type typing, though there are probably all sorts of esoteric problems and better ways.  Otherwise it just seems like auto-generating the code a human normally has to write.

package K is

   type Fancy_Lambda is lambda procedure (arg1 : T1; arg2 : T2);

   procedure P (x : Fancy_Lambda) is
     foo : T1;
     bar : T2;
   begin
     x(arg1 => foo, arg2 => bar);
   end P;

end K;

procedure main is

  baz : Integer;

begin

  -- frakakta C++ syntax...
  K.P(x => [baz] (arg1 : T1; arg2 : T2) {baz := baz + 1});

end main;