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!news.stack.nl!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: Fri, 11 Apr 2014 08:20:33 +0200
Organization: cbb software GmbH
Message-ID: <n89glydkjsjz.17f34lyu7q1j4.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> <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> <li74p5$atm$1@loke.gir.dk>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: AuYlnUSfTZrfhAkRjyySpQ.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:19241
Date: 2014-04-11T08:20:33+02:00
List-Id: <comp.lang.ada>

On Thu, 10 Apr 2014 17:08:37 -0500, Randy Brukardt wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
> news:17twpp4p8u7o$.1idvzaaio4f3t$.dlg@40tude.net...
> ...
>> It is as unrealistic as throwing out all numeric types and using arbitrary
>> precision arithmetic instead. It simply does not work for real-life
>> applications.
> 
> Huh? It's exactly how I would define Root_Integer'Class if we had such a 
> thing.

And no any program needs both Integer_16 and Unsigned_8 anyway. Right?

>>> Ambiguous? That's the idea -- most consumers of strings don't care anything
>>> about the properties of the string, just the sequence of code points that it
>>> represents.
>>
>> Class-wide operations are overloaded, which is why.
> 
> Overloaded with what?

With operations of other classes especially operations of subclasses.
Return a class-wide object is a nightmare. I had a lot of problems with
class-wide operations in recent projects. It is not only ambiguity, but
also a hell of type conversions and other tricks required when you have to
return a class-wide. It works only on paper.

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