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=unavailable 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!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Ada Annoyances Date: Fri, 23 Jun 2017 12:49:04 -0500 Organization: JSA Research & Innovation Message-ID: References: <1ac5a44b-4423-443a-a7bb-2864d9abe78f@googlegroups.com> NNTP-Posting-Host: rrsoftware.com X-Trace: franka.jacob-sparre.dk 1498240146 23281 24.196.82.226 (23 Jun 2017 17:49:06 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Fri, 23 Jun 2017 17:49:06 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 Xref: news.eternal-september.org comp.lang.ada:47087 Date: 2017-06-23T12:49:04-05:00 List-Id: wrote in message news:be1619b4-2220-4287-8e67-1af32377d3f7@googlegroups.com... ... >Ada forcing tagged types on you to use certain features *is* a problem, if >only >because certain Ada users are forbidden to use tagged types altogether and >thus >are prevented to use a lot of useful features. Stupid language usage rules are not the problem of the language design, they're a management problem. I can understand banning T'Class (thus banning dynamic dispatching) and banning controlled types (thus banning hidden calls that can be harder to analyze), but not banning tagged types themselves. Indeed, (almost) all new types should be tagged - as Tucker said often during the Ada 9x development, "Tagged types work right"; for the most part, regular record types don't "work right" for various things and that can't be fixed because compatibility concerns. (Although Ada 2012 did bite the bullet about equality; that may be a significant reason why there is only one Ada 2012 compiler to date.) Randy.