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!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
Date: Fri, 11 Apr 2014 21:04:58 +0200
Organization: Tidorum Ltd
Message-ID: <bqqsmqFk8b9U1@mid.individual.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> <lhi3ia$bos$1@loke.gir.dk>
 <1aa804jg9qq4o$.wdiq33yo621l.dlg@40tude.net> <lhviiu$q77$1@loke.gir.dk>
 <yl8s1sbhw0lw.1bhypcrvreord.dlg@40tude.net> <li217v$uvk$1@loke.gir.dk>
 <1w6eh0aiksmdh$.1h16p7y0b8c6h.dlg@40tude.net> <li5354$c8e$1@loke.gir.dk>
 <17twpp4p8u7o$.1idvzaaio4f3t$.dlg@40tude.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: individual.net hchqSomQBnu7V24ySrsjIwCASwb3IklHLDhIaXiMWj/oiOV5HH
Cancel-Lock: sha1:F1Xuv2J/xyhCLS0UOI4qnOQHe2A=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8;
 rv:24.0) Gecko/20100101 Thunderbird/24.4.0
In-Reply-To: <17twpp4p8u7o$.1idvzaaio4f3t$.dlg@40tude.net>
Xref: news.eternal-september.org comp.lang.ada:19246
Date: 2014-04-11T21:04:58+02:00
List-Id: <comp.lang.ada>

On 14-04-10 17:31 , Dmitry A. Kazakov wrote:
> On Wed, 9 Apr 2014 22:28:36 -0500, Randy Brukardt wrote:

  [snip]

>> We don't want "type-specific" implementations of most things -- that's just 
>> adding a maintenance headache where one isn't needed.
> 
> It is need for
> 
> 1. safety (because you statically know that certain specific operation may
> not fail, while class-wide operations can)
> 
> 2. efficiency
> 
> There is no maintenance overhead whatsoever. Here is the proof. Let you can
> provide a generic implementation (as you suggested), then this
> implementation can be safely inherited. 

If you change a class-wide operation to an inherited (i.e. primitive)
operation, you have to change its dispatching calls to redispatching
calls, if you want the same behaviour as for the class-wide operation.

But (based on your earlier messages) you refuse to use redispatch, so
this change is not possible for you. Your proof fails when limited to
your subset of Ada, where redispatch is absent.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
      .      @       .