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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Functions vs constants
Date: Thu, 24 Jul 2014 12:49:30 +0200
Organization: A noiseless patient Spider
Message-ID: <lqqobq$tmn$1@dont-email.me>
References: <lqk032$9h$1@speranza.aioe.org> <c35fbuF747qU1@mid.individual.net>
 <lqk7cp$4eu$1@loke.gir.dk> <cso9nzjs6q5q$.16o96j9yv70q1$.dlg@40tude.net>
 <lqmnbr$j13$1@loke.gir.dk> <lqoab0$bnm$1@dont-email.me>
 <lqpc07$d05$1@loke.gir.dk> <lqqg0v$8t6$1@dont-email.me>
 <1mikt4q7wyp7e.10ub8ezxvsvei$.dlg@40tude.net>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 24 Jul 2014 10:49:31 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="30423"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/v9F8S+Lxbau3XzCSRl7EMRCwqrVx9xVs="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
In-Reply-To: <1mikt4q7wyp7e.10ub8ezxvsvei$.dlg@40tude.net>
Cancel-Lock: sha1:iLb8DImDNW6XPunNBEtQB2PwYtI=
Xref: news.eternal-september.org comp.lang.ada:21177
Date: 2014-07-24T12:49:30+02:00
List-Id: <comp.lang.ada>

On 24.07.14 12:11, Dmitry A. Kazakov wrote:
>> I think that homonyms like "+" and "Put" could be put on the "overriding"
>> >side of "overriding vs overloading", couldn't they?

> 1. Not without MI and MD, obviously. E.g. all types defining "+" would be
> descendants of Additive_Group interface.

Considering frequent additions,

a) won't the sum typically be produced from arguments
    of the same specific additive group, and

b) won't the result be added to more of the same specific
    type or else be subject to type conversion?