Re: Callback in Ada

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:10p6vzd761rdz$.1gtmc0fk6t9rb.dlg@40tude.net...
...
> P.P.S. As Ada strives to introduce procedural-literals, e.g. conditional
> expressions, fancy quantified expressions and other awful stuff, it will
> inevitably require subprogram types, because you cannot get pointer of a
> literal. What is all this mess worth of if it cannot be given as a
> parameter?

No problem here, just use an expression function to give your expression a 
name (and parameters); then you can use 'Access just fine. Forget anonymous 
stuff, it only leads to heartache. :-)

    function Foobar (A : Integer) return Integer is (if A > 10 then A - 5 
else A);

 [The only exception is anonymous access-to-subprogram, and that is because 
of the special closure semantics. It would have been better to use a keyword 
to get that semantics, something like:
    type Local_Sub is local access function (A : Integer) return Integer;
but this isn't sufficiently broken for such a change.]

                                        Randy.

                              Randy.