Re: OO in Ada

[Hyman Rosen <hyrosen@mail.com>]

Jim Rogers wrote:
> I think that because the dispatching is always performed on the
> type of "object" in object.method.

Oh, I'm thinking of overloading on return type, sorry.
There's no such thing as dispatching on return type, since
by definition dispatching requires an object to dispatch
upon!

> I disagree here. Ada does not give the illusion of multiple dispatch.
> An Ada subprogram can only be primitive to one type.

Yes, but that subprogram can take multiple parameters of that type,
and when a call is made to that subprogram with arguments which are
classwide, they must all have the same dynamic type (which is then
used in the dispatch) or an exception results.

I think. I'm not an Ada programmer, after all.