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 2002:a6b:338f:: with SMTP id z137-v6mr5034381ioz.130.1530243457975; Thu, 28 Jun 2018 20:37:37 -0700 (PDT) X-Received: by 2002:aca:c6ca:: with SMTP id w193-v6mr1073730oif.1.1530243457879; Thu, 28 Jun 2018 20:37:37 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder4.usenet.farm!feed.usenet.farm!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!d7-v6no158394itj.0!news-out.google.com!z3-v6ni109iti.0!nntp.google.com!d7-v6no158391itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 28 Jun 2018 20:37:37 -0700 (PDT) In-Reply-To: <87tvpm1e2q.fsf@nightsong.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.195.62; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.195.62 References: <5e86db65-84b9-4b5b-9aea-427a658b5ae7@googlegroups.com> <87fu1izfgs.fsf@nightsong.com> <878t75nwad.fsf@adaheads.home> <15b6f89f-997b-45ac-86b4-2e614bb624c2@googlegroups.com> <28a46046-e7eb-4306-bc39-72bc751831ae@googlegroups.com> <400ba7f8-6875-4ba8-99ee-c105180d5d8b@googlegroups.com> <87tvpm1e2q.fsf@nightsong.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <39b42dbe-0e74-4855-9291-bbf5a193c3b4@googlegroups.com> Subject: Re: Ada Successor Language From: "Dan'l Miller" Injection-Date: Fri, 29 Jun 2018 03:37:37 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:53420 Date: 2018-06-28T20:37:37-07:00 List-Id: On Thursday, June 28, 2018 at 10:11:59 PM UTC-5, Paul Rubin wrote: > "Dan'l Miller" writes: > > bad idea that threatens to bring C++ slicing to Ada >=20 > Are you talking about this? >=20 > https://en.wikipedia.org/wiki/Object_slicing Yes, but the Wikipedia article does not explore every tentacle. > Does Ada somehow escape from it now? I personally believe that Ada as currently defined never has had the slicin= g problem. (But the Ada luminaries on the ARG would know best.) This is b= ecause the Ada language designers have meticulously rejected language featu= res in the vicinity of that topic to steer clear of it. E.g., Ada doesn't = permit overloading the assignment operator in any way that C++ does. I sus= pect that repeatedly rejecting Steelman requirement 3-3F has something to d= o with it too. > It does sound bad. It is. There are about a half dozen of the big causes of landmines in the = landmine-field that is C++. Slicing is perhaps the most potent/pernicious/= silent of those big-6. Conversely, programming professionally in C++ is li= ke growing up as a child or teenager in a war zone: you just learn that co= nstant never-ending paranoia about avoiding all possibility of stepping on = a landmine every waking moment is a really healthy survival/coping techniqu= e. Still, I'd love to switch entirely over to Ada away from C++, hence why= I am always looking for how to get Ada2012 or greater across all the platf= orms that I work on, especially the remaining ones: iOS with Cocoa Touch, = MacOS with Cocoa, Android via JNI, and soon to be Tizen and FuchsiaOS too.