From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,131f06967722ab4b
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!proxad.net!newsfeed.stueberl.de!news-mue1.dfn.de!news-ham1.dfn.de!news.uni-hamburg.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: Ada 2005?
Date: Mon, 27 Dec 2004 21:51:07 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <cqq04b$gnf$1@a1-hrz.uni-duisburg.de>
References: <1103344064.372396.51420@c13g2000cwb.googlegroups.com>
   <1vj2pp9437gal.1b1lyqe3o973k$.dlg@40tude.net>
 <m3wtvbwcnx.fsf@rigel.goldenthreadtech.com>
 <1ttqv5msigzua$.12l6jurw2zmd6$.dlg@40tude.net>
 <m3sm5yw6rx.fsf@rigel.goldenthreadtech.com>
 <hclqxskt6r93.1r8cg7jro1s68.dlg@40tude.net>
 <m3oegkx4wx.fsf@rigel.goldenthreadtech.com>
 <1j02qdx8hrd7o.1d5se652uerrr$.dlg@40tude.net>
 <m3is6nwtw0.fsf@rigel.goldenthreadtech.com>
 <1myqjpkliibqc$.qwe4gdpt4pi0.dlg@40tude.net>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1104184267 17135 134.91.1.34 (27 Dec 2004
 21:51:07 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Mon, 27 Dec 2004 21:51:07 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: g2news1.google.com comp.lang.ada:7238
Date: 2004-12-27T21:51:07+00:00
List-Id: <comp.lang.ada>

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