Re: Ada 2005?

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

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
: Nope, in Ada it is the equivalent of "method is final and defined to raise
: Constraint_Error". It is a fundamentally different case.

What is the fundament, then?
 
:>>> Ah, so you define it away.

Or invent a new one?

:>>> MD = "Multiple Dispatch" in the orignal
:>>> context of this thread which is /= more than one dispatching
:>>> parameter.  This should be obvious.  Ada does not have MD, to argue
:>>> otherwise just makes you look silly.
:>> 
:>> Care to give another definition of MD?
:> 
:> No, the original, as I noted here was and is the one under discussion
:> and it is quite proper.
: 
: OK, I'll make it easier for you:
: 
: MD /= number of controlling parameters > 1 <=>
: 1) Exists MD with 1 or 0 controlling parameters; or
: 2) Dispatching subroutine with n>1 controlling parameters is not MD, but
: SD, not D.

This is a mathematical trick, at best?
Obviously, "more than" in the above sentence isn't only about counting the
number of parameters.  You could equally well say that Ada templates
are recursive because they are when you limit the recursion depth to 0.

What did the makers of GNAT think when they invented the error message,

 "operation can be dispatching in only one type"?

So at the very least there must exists a notion of MD that isn't
available with Ada.


-- Georg