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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.66.148.10 with SMTP id to10mr1868684pab.12.1395849716483; Wed, 26 Mar 2014 09:01:56 -0700 (PDT) X-Received: by 10.182.60.101 with SMTP id g5mr130008obr.16.1395849716332; Wed, 26 Mar 2014 09:01:56 -0700 (PDT) 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!eu.feeder.erje.net!feeder.erje.net!us.feeder.erje.net!news.glorb.com!l13no11521545iga.0!news-out.google.com!gi6ni456igc.0!nntp.google.com!ur14no14254380igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 26 Mar 2014 09:01:56 -0700 (PDT) In-Reply-To: <206rutb9pqak$.11a3dufqvmrm4.dlg@40tude.net> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=149.32.224.37; posting-account=Qh2kiQoAAADpCLlhT_KTYoGO8dU3n4I6 NNTP-Posting-Host: 149.32.224.37 References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com> <206rutb9pqak$.11a3dufqvmrm4.dlg@40tude.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <3a071d1c-b6d1-4596-83f9-355bc9c29deb@googlegroups.com> Subject: Re: Your wish list for Ada 202X From: Anh Vo Injection-Date: Wed, 26 Mar 2014 16:01:56 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:18983 Date: 2014-03-26T09:01:56-07:00 List-Id: On Wednesday, March 26, 2014 1:17:39 AM UTC-7, Dmitry A. Kazakov wrote: > On Tue, 25 Mar 2014 14:41:16 -0700 (PDT), Stoik wrote: > > > I suspect many of the proposals could be tested in GNAT before being > > introduced (or rejected) in the new version. One could add a switch to > > GNAT indicating that we want to use some of the experimental features. > > Yes, an experimental sandbox is a good idea. However, better would be a > compiler from a generalized and simpler language with Ada type system > implemented as a library. Most of Ada complexity is due to irregularities > and weaknesses of its type system. You sound like most Ada type systems are week. It is obviously not true. After all, one of strength of Ada is its types/subtypes. Indeed, I would not choose Ada 25 years ago if it is not the case. A. Vo