Re: Callback in Ada

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Alex Mentis" <foo@invalid.invalid> writes:

> Since it�s the topic of discussion, and since you wrote the proposal,
> is it true that expression functions (which, in effect, appear to be
> function specifications that include small expressions as the function
> bodies), when supported, could appear in a package specification,

Yes.

One reason you might want to do that is when you call an
expression function in a precondition, and you want the compiler
or other tool to know what it does (at compile time of clients),
to help it prove things.

During the design, I argued that it's going to be annoying,
because as soon as you want a local variable inside that
function, you have to move it to the package body, weakening
the ability to prove things.  So we should simply allow
subprogram bodies in package specs.

Others argued that we don't want to give people the ability to
completely dispense with Ada's separation of spec and body.
Also, the expression function syntax is nice for short
"one liners", where the extra verbiage of "begin" and
"end Blah;" is just noise.

- Bob