Re: XML DOM Binding for Ada 95 - matter of style

[Georg Bauhaus <sb463ba@d2-hrz.uni-duisburg.de>]

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
: Isn't signature just another word for interface? Does not a set of
: subroutines with compatible signatures constitute an interface for
: some abstract/real type? One could long for a better way to describe
: and manage interfaces, but there is no real alternative to them.

You don't need to know about them during the design process,
but you can construct "signature instances" like so:

generic
  type X is private;
  function count(thing: X) return Natural;
  procedure stretch(thing: in out X);
...

and then instantiate "..." with whatever actuals seem fit.
This doesn't require that the provider of the units from which
X, count, etc. are taken, has to know beforehand that his/her types,
functions, or whatever will be used this way.

Actually, you can pass operations of a tagged type as actuals.
Can this be done with virtual member functions in C++?


Georg