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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!weretis.net!feeder4.news.weretis.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 01 Apr 2014 12:51:08 +0200
From: "G.B." <rm-dash-bau-haus@dash.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.4.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
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>
In-Reply-To: <1cdsyxjzsfgzm.1synpaujysv21$.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <533a9a1c$0$7296$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 01 Apr 2014 12:51:08 CEST
NNTP-Posting-Host: e3ecaad7.newsspool1.arcor-online.net
X-Trace: 
 DXC=XCQ[a1D`b12nBOkdL^Lo7>ic==]BZ:af>4Fo<]lROoR1<`=YMgDjhg27c6NeSWQTY?nc\616M64>:Lh>_cHTX3j=]AKAi<6jjT9
X-Complaints-To: usenet-abuse@arcor.de
Xref: news.eternal-september.org comp.lang.ada:19070
Date: 2014-04-01T12:51:08+02:00
List-Id: <comp.lang.ada>

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? I'll assume
that the compiler should then statically find the "+"
determined by the type if its operands. Is this feasible?