Re: Callback in Ada

["Vinzent Hoefler" <0439279208b62c95f1880bf0f8776eeb@t-domaingrabbing.de>]

Ludovic Brenta wrote:

> This function "apply_to" is a classic example of a "passive iterator".
>
> This example is not type-safe; apply_to assumes that function takes
> exactly one argument and returns exactly one result.  What happens if
> you pass a function that takes zero or two arguments?

Then the interpreter tells you something along the lines

"function expects exactly one argument, but two given."

> Or if it does not return anything?

Then it will be of the "None"-type. This is Python, not Perl. ;)

Of course, just like in every dynamically typed language, it crashes
at run-time, not at compile-time.


Vinzent.

-- 
Beaten by the odds since 1974.