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
X-Google-Thread: 103376,70414f56d810c10c
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.11.199 with SMTP id s7mr27367274pbb.5.1317110993456;
        Tue, 27 Sep 2011 01:09:53 -0700 (PDT)
Path: 
 lh7ni5833pbb.0!nntp.google.com!news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!feedme.ziplink.net!news.swapon.de!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: discriminant questions
Date: Tue, 27 Sep 2011 10:10:20 +0200
Organization: cbb software GmbH
Message-ID: <on80kbkn7k0e.1ryr5zau1xg4k$.dlg@40tude.net>
References: 
 <9f37b726-d80b-4d24-bf3f-28a14255f7fd@s20g2000yql.googlegroups.com>
   <1fp2o673mu9az$.d9loz1zbcl0d.dlg@40tude.net>
 <wccty89n6hw.fsf@shell01.TheWorld.com>
 <luyty5gimgdn.fh6hltxeo2t1.dlg@40tude.net>
 <d3e2a483-2968-42b2-95c1-4370c40b1cd0@h7g2000yqm.googlegroups.com>
 <osxb9aktb5va$.gl2adls3llnz$.dlg@40tude.net>
 <b210b96b-806d-4add-8ac0-fa2ce568f855@u20g2000yqj.googlegroups.com>
 <14tiipigyejtc$.hyp7e82egqwq$.dlg@40tude.net>
 <34d856bd-19a3-4bbf-b9d8-c0f100000ef4@k7g2000vbd.googlegroups.com>
 <wq5xshyxsz29$.1whnijhte02l7.dlg@40tude.net>
 <f353c87e-f0d1-476f-aa7d-195f66f97650@w28g2000yqw.googlegroups.com>
 <1tpl2pc36ptr4$.txv4v3wmkjlm.dlg@40tude.net>
 <b32585e7-7a90-4d98-a729-d9d9c089252d@g30g2000yqc.googlegroups.com>
 <1malv6h6q31j3.uz9ws5j0glnm.dlg@40tude.net>
 <f584ceac-d250-4752-96ff-6b5aa9edc473@l4g2000vbz.googlegroups.com>
 <fsmyepvncyb2$.2ik4vw3vu74h.dlg@40tude.net>
 <j5j2gl$t9j$1@munin.nbi.dk> <muk0d5mdqzpv.tnxjyzn8jw6k$.dlg@40tude.net>
 <j5qvgp$ffv$1@munin.nbi.dk>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news1.google.com comp.lang.ada:18153
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2011-09-27T10:10:20+02:00
List-Id: <comp.lang.ada>

On Mon, 26 Sep 2011 17:48:56 -0500, Randy Brukardt wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
> news:muk0d5mdqzpv.tnxjyzn8jw6k$.dlg@40tude.net...

>> Reworking Ada's type system was never seriously considered since Ada 95
>> design.
> 
> It's insufficiently broken, as any such change is going to be incompatible.

It would, if changes are small. It is like in mathematics, when looking for
an optimum you could not climb out of the local hollow by small steps.

Consider a type system where your precious kludges of old Ada would become
some type expressions and library implementations rather than built-in
stuff.

Ada does not need changes, it needs a generalization of its type system
accumulating things we learned about types in the recent 15+ years.

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