Re: Defining a binary operator between function access types: Is it possible?

[Jacob Sparre Andersen <sparre@nbi.dk>]

soychangoman@gmail.com writes:

> I'm trying to define a binary operator between function access types
> that returns the access to the function that is the binary operator
> acting on both functions.

You can't do that quite like that.

The first idea which springs to mind for solving this kind of problem
is to make a hack using tagged types ...

   type Abstract_Binary_Operation is abstract tagged null record;
   function Operate (O    : Abstract_Binary_Operation;
                     L, R : Real) return Real is abstract;

   type Composed_Addition (FL, FR : access function (X : Real) return Real) is
     new Abstract_Binary_Operation with null record;
   function Operate (O    : Composed_Addition;
                     L, R : Real) return Real is
   begin
      return O.FL (L) + O.FR (R);
   end Operate;

Just a wild thought!  Not tested!

Greetings,

Jacob
-- 
People in cars cause accidents. Accidents in cars cause people.