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:a24:7fc3:: with SMTP id r186-v6mr1696243itc.22.1530066521984; Tue, 26 Jun 2018 19:28:41 -0700 (PDT) X-Received: by 2002:a9d:5c03:: with SMTP id o3-v6mr232692otk.7.1530066521812; Tue, 26 Jun 2018 19:28:41 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.linkpendium.com!news.linkpendium.com!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!d7-v6no1364016itj.0!news-out.google.com!p13-v6ni1561itf.0!nntp.google.com!d7-v6no1364010itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 26 Jun 2018 19:28:41 -0700 (PDT) In-Reply-To: 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> <878t7u1cfm.fsf@nightsong.com> <776f3645-ed0c-4118-9b4d-21660e3bba4b@googlegroups.com> <87602fbu2g.fsf@nightsong.com> <87po0mziqt.fsf@nightsong.com> <87fu1izfgs.fsf@nightsong.com> <878t75nwad.fsf@adaheads.home> <15b6f89f-997b-45ac-86b4-2e614bb624c2@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada Successor Language From: "Dan'l Miller" Injection-Date: Wed, 27 Jun 2018 02:28:41 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:53361 Date: 2018-06-26T19:28:41-07:00 List-Id: On Tuesday, June 26, 2018 at 5:03:13 PM UTC-5, Dan'l Miller wrote: > Then you are an unable to foresee slicing situations as Bjarne Stroustrup= was. Bjarne should not be > one's role model as a language designer. Typo: Then you are /as/ unable to foresee =E2=80=A6 Btw, what I am ultimately saying about the compiler automagically what rule= s say is the correct strong type's tag in a given situation (which might di= ffer from what the programmer thought would occur) violates a fundamental p= remise of Ada: source code whose behavior is obvious to human beings. C++= is the ultimate language for voluminous automagical behavior that has not = one iota of overt source code. Ada absolutely does not need more of that, = or at least in the C++ school of thought. This comes down to a cognitive dimensions of notations issue. C++ prioriti= zes automagical disembodied-fairies-without-source-code over overt source c= ode, as some sort of variant of less-is-more. (C++ has 2 cryptosyntaxes: = 1) the symbols on the surface and 2{ the implicit unstated automagical dise= mbodied-fairies-without-source-code floating around the programmer as a clo= ud of ghosts in the [compiler-]machine.) Ichbiah's Ada83 is the utmost of = =E2=80=98The program does exactly what the source code overtly states that = it does=E2=80=94nothing more, nothing less=E2=80=99. https://en.wikipedia.org/wiki/Cognitive_dimensions_of_notations 'Class with tags-external-to-untagged-types is a C++-esque automagical dise= mbodied-fairy-without-source-code, bringing one of the kinds of crypto synt= ax #2 into Ada. No thank you: we already have one C++; we don't need anot= her one.