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!news4.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.rcn.net!news.rcn.net.POSTED!not-for-mail NNTP-Posting-Date: Tue, 28 Dec 2004 11:27:59 -0600 Sender: jsa@rigel.goldenthreadtech.com Newsgroups: comp.lang.ada Subject: Re: Ada 2005? References: <1103344064.372396.51420@c13g2000cwb.googlegroups.com> <1vj2pp9437gal.1b1lyqe3o973k$.dlg@40tude.net> <1ttqv5msigzua$.12l6jurw2zmd6$.dlg@40tude.net> <1j02qdx8hrd7o.1d5se652uerrr$.dlg@40tude.net> <1myqjpkliibqc$.qwe4gdpt4pi0.dlg@40tude.net> <1xxsp54fh2js2.1layknsasshu4.dlg@40tude.net> From: jayessay Organization: Tangible Date: 28 Dec 2004 12:56:18 -0500 Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: 209.6.25.79 X-Trace: sv3-WVySGrcnPNV+mQATKLkWylUdVSo18Ikb0eBEsLb91ToElgOZP1uU8Aa7KwQj9aFIh99DofudC6Dh0rL!y8y8J/ax7Deud+QAatZlIAEzKN3rKYjcWyiBgZ0Vax2XxMAdUnLkyNTq4SYSrAd75XvPbTQ6aYL2 X-Complaints-To: abuse@rcn.net X-DMCA-Complaints-To: abuse@rcn.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.22 Xref: g2news1.google.com comp.lang.ada:7266 Date: 2004-12-28T12:56:18-05:00 List-Id: "Dmitry A. Kazakov" writes: > In Ada all choices are statically known. The only problem is that you > cannot override non-diagonal elements of the dispatch table. This is incorrect and it is easy to construct examples that are legal but will raise constraint error at runtime at a point of attempted method dispatch. > >:>>> Ah, so you define it away. > > > > Or invent a new one? > > Where is any other? The one everyone but you seems to use. > > 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"? > > Exactly what it tells: no dispatch on distinct types. MD /= dispatch in > distinct type hierarchies. More sophistry. No one said that MD _requires_ dispatch in distinct type hierarchies, only that it _supports_ this. Multiple dispatch does _require_ dispatch on/across multiple types, that is the definition used everywhere except by you. > > So at the very least there must exists a notion of MD that isn't > > available with Ada. > > Right. "Ada has MD" = "Ada has some cases of MD". More sophistry. > It does not mean that Ada has full or proper MD. It all started when > my opponent disagreed with a trivial statement: "... it (Ada's MD) > is very limited and cannot be counted as true multiple dispatch". I think this indicates the real problem: "my opponent". You seem to see this as some idiotic zero-sum game instead of a discussion. No wonder you never seem learn anything. /Jon -- 'j' - a n t h o n y at romeo/charley/november com