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!feeder.eternal-september.org!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: Wed, 16 Apr 2014 09:31:30 +0200
Organization: cbb software GmbH
Message-ID: <la0ycwahlv4g$.1en9e6roomtom$.dlg@40tude.net>
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>
 <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>
 <bqqsmqFk8b9U1@mid.individual.net> <s604jsja4ayt.yf0xqwsaue9d.dlg@40tude.net>
 <bqr781FmefuU1@mid.individual.net>
 <1wjmcbk375lzk.6o7dpqcp3va3.dlg@40tude.net>
 <br07nkFnvrbU1@mid.individual.net> <lihtai$6oj$1@loke.gir.dk>
 <slrnlkpnfe.i0l.lithiumcat@nat.rebma.instinctive.eu>
 <br6mfeF4nefU1@mid.individual.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: G+aXx1XI67D34t54ibhUPQ.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
Xref: news.eternal-september.org comp.lang.ada:19330
Date: 2014-04-16T09:31:30+02:00
List-Id: <comp.lang.ada>

On Wed, 16 Apr 2014 09:32:15 +0300, Niklas Holsti wrote:

> As I understand them, both Dmitry and Randy would consider the
> class-wide form a better solution, but it works only if you never need
> to override these class-wide operations for any descendant types.

BTW, the language design principle: each type must have a class.

Let T'Class would have a class (T'Class'Class). Then a class-wide operation
of T becomes a primitive operation of T'Class, and thus could be overridden
in some subclass.

Surely there would be problems with that, starting with the problem is that
T'Class is matched by structure rather nominally...

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