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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
Date: Tue, 1 Apr 2014 14:40:08 +0200
Organization: cbb software GmbH
Message-ID: <1auojx6kc562b$.1wxog3kbq092m.dlg@40tude.net>
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>
 <tvtYu.83108$tD4.27538@fx25.iad> <lgve1q$b56$1@loke.gir.dk>
 <x9RYu.3020$XJ3.767@fx09.iad> <lh26es$3gg$1@loke.gir.dk>
 <o4o5ao9k7hz9.l7ebk8qxfv32.dlg@40tude.net> <lh4pfe$vrn$1@loke.gir.dk>
 <8bhozh836pyt$.1qctlysud0s2q$.dlg@40tude.net> <lhcv8r$iol$1@loke.gir.dk>
 <1cdsyxjzsfgzm.1synpaujysv21$.dlg@40tude.net>
 <533a9a1c$0$7296$9b4e6d93@newsspool1.arcor-online.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: KX5nm0jf7du4gHjHR6mb/g.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
X-Original-Bytes: 1954
Xref: number.nntp.dca.giganews.com comp.lang.ada:185443
Date: 2014-04-01T14:40:08+02:00
List-Id: <comp.lang.ada>

On Tue, 01 Apr 2014 12:51:08 +0200, G.B. wrote:

> On 01.04.14 10:20, Dmitry A. Kazakov wrote:
>> part of the implementation of the MD operation
>>
>>     function "&" (Left, Right : Root_String_Type) return
>>        Root_String_Type;
> 
> How would MD work, practically, and efficiently, with numeric
> types? Should "+" be multiply dispatching, say?

Certainly so.

> I'll assume
> that the compiler should then statically find the "+"
> determined by the type if its operands.

Just as it already does, right now.

When types are statically known, and they are not allowed not be known in
present Ada, no dispatch is involved.

Ergo, MD of non-tagged types has *NO* influence on any existing Ada
program.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de