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 X-Received: by 10.68.180.5 with SMTP id dk5mr44725227pbc.3.1436796970029; Mon, 13 Jul 2015 07:16:10 -0700 (PDT) X-Received: by 10.182.39.136 with SMTP id p8mr248531obk.8.1436796969953; Mon, 13 Jul 2015 07:16:09 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!peer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!pg9no320126igb.0!news-out.google.com!a16ni16781ign.0!nntp.google.com!pg9no320125igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 13 Jul 2015 07:16:09 -0700 (PDT) In-Reply-To: <9e492c82-868d-43d3-a18a-38274400e337@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2602:306:3784:5b10:2827:fb14:1687:7feb; posting-account=yiWntAoAAAC1KqC_shmxJYv07B9l6LNU NNTP-Posting-Host: 2602:306:3784:5b10:2827:fb14:1687:7feb References: <14592326-5070-4663-a864-5684298f3748@googlegroups.com> <004361da-53c4-4ea9-8cc6-38944aa6c7ad@googlegroups.com> <29dd5458-f9ce-4db8-9128-8ab35a9ce5f8@googlegroups.com> <64bc671c-72e5-4924-b703-3b907c69949c@googlegroups.com> <877fq9uj6g.fsf@theworld.com> <65061686-5c8f-433b-9b11-9e228298158e@googlegroups.com> <87k2u96jms.fsf@jester.gateway.sonic.net> <06f8a6f9-d219-4d40-b9ac-8518e93839bd@googlegroups.com> <87y4io63jy.fsf@jester.gateway.sonic.net> <7a29d3e9-d1bd-4f4a-b1a6-14d3e1a83a4d@googlegroups.com> <87mvz36fen.fsf@jester.gateway.sonic.net> <2215b44f-8a89-47c6-a4c4-52b74d2dac45@googlegroups.com> <9e492c82-868d-43d3-a18a-38274400e337@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: If not Ada, what else... From: David Botton Injection-Date: Mon, 13 Jul 2015 14:16:10 +0000 Content-Type: text/plain; charset=ISO-8859-1 X-Received-Bytes: 2830 X-Received-Body-CRC: 3336942935 Xref: news.eternal-september.org comp.lang.ada:26803 Date: 2015-07-13T07:16:09-07:00 List-Id: > Um, no. Adding enum class was a baby step in the right direction. I'm a bit surprised though that range-based for loops don't work over an enum class. Seems there's interest in doing so: > http://stackoverflow.com/questions/8498300/allow-for-range-based-for-with-enum-classes What I don't understand is why the C++ communities doesn't just adopt D as a replacement and finish. While D is certainly not Ada it is for sure what C++ should be. In both cases C++ and D, neither "got it" in terms of the importance of types and how they improve the overall contracts in all software development and increase its robustness in ways the current cruches they add can not. There just is not imperative language outside Ada that has understood the types and compile type checks for types is the real magic for efficiently implemented robust software. David Botton