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=ham
	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.50.133 with SMTP id c5mr25319344pbo.2.1317077338759;
        Mon, 26 Sep 2011 15:48:58 -0700 (PDT)
MIME-Version: 1.0
Path: 
 lh7ni5579pbb.0!nntp.google.com!news1.google.com!news4.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.68.MISMATCH!feeder.news-service.com!aioe.org!news.tornevall.net!news.jacob-sparre.dk!pnx.dk!jacob-sparre.dk!ada-dk.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: discriminant questions
Date: Mon, 26 Sep 2011 17:48:56 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <j5qvgp$ffv$1@munin.nbi.dk>
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>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1317077337 15871 69.95.181.76 (26 Sep 2011 22:48:57 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Mon, 26 Sep 2011 22:48:57 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.6109
X-RFC2646: Format=Flowed; Original
Xref: news1.google.com comp.lang.ada:18140
Date: 2011-09-26T17:48:56-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:muk0d5mdqzpv.tnxjyzn8jw6k$.dlg@40tude.net...
> On Fri, 23 Sep 2011 17:50:57 -0500, Randy Brukardt wrote:
>
>> You seem to want to totally avoid the purpose of containers, which is to
>> eliminate unsafe memory management and pointer usage.
>
> I thought that the purpose is organizing data in a structured way.


>> Your interface ideas probably would make sense in a totally new language,
>> but would be totally unimplementable in Ada (we'd have to get rid of at
>> least discriminants, subtypes, general access types, and generics to have
>> any chance to make them work).
>
> 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. 
(At this point, almost every change we consider is incompatible in some 
way -- even trivial changes like obsolescing old pragmas like Inline turned 
out to be incompatible in programs that used certain restrictions.) That's 
what I meant about the "real world"; future Ada versions cannot be 
significantly incompatible with the existing ones, and even mild 
incompatibilities need a significant benefit.

                                Randy.