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.107.107.2 with SMTP id g2mr2914447ioc.43.1522854334081; Wed, 04 Apr 2018 08:05:34 -0700 (PDT) X-Received: by 2002:a9d:554b:: with SMTP id h11-v6mr1051186oti.12.1522854333975; Wed, 04 Apr 2018 08:05:33 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!peer02.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!k65-v6no4571082ita.0!news-out.google.com!u64-v6ni7994itb.0!nntp.google.com!k65-v6no4571080ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 4 Apr 2018 08:05:33 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.233.194; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.233.194 References: <1b44444f-c1b3-414e-84fb-8798961487c3@googlegroups.com> <62ee0aac-49da-4925-b9aa-a16695b3fc45@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9879872e-c18a-4667-afe5-41ce0f54559f@googlegroups.com> Subject: Re: Interesting article on ARG work From: "Dan'l Miller" Injection-Date: Wed, 04 Apr 2018 15:05:34 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 4223 X-Received-Body-CRC: 4037379850 Xref: reader02.eternal-september.org comp.lang.ada:51331 Date: 2018-04-04T08:05:33-07:00 List-Id: On Tuesday, April 3, 2018 at 5:33:47 PM UTC-5, Randy Brukardt wrote: > I'm not sure what your idea is. The pragma Assert exists already, what is= it=20 > that you can't do with it that you need? >=20 > Randy. >=20 > "Bojan Bozovic" wrote in message=20 > > Pragma assert(condition,message); > > Construct > > Assertion name is condition with message; Randy, despite your humor in the original posting, I think that he is (seri= ously) proposing that assertions optionally be named so that the named cond= ition and message pair is defined in one place and then utilized at the (nu= merous) places where the assertion appears, so that the condition & message= do not vary due to the drift of time, forgetfulness, and whim of different= programmers. Something to the effect of: in spec: ASSERTION MyAssertion IS conditionExpressionOrName WITH messageStringLitera= lOrName; elsewhere, potentially numerous times: PRAGMA ASSERT( MyAssertion ); Bojan, blackhole is not an actual feature (nor is Munificent Vigil an actua= l programming language). Look at the 01 April 2018 date of posting. As a = language principle of permitting everything to be declared with a name and = then utilized by mentioning the name to assure uniformity at all points of = utilization, your idea is neither humorous nor ridiculous, even though it i= s in reply to a joke. You actually imply one of my criticisms of Ada: the= re is no MetaAda that declares all language principles (preferably in code = that compiler vendors would take as input when writing a compiler, instead = of taking in English prose). =E2=80=9CEverything shall be able to be named= ; that name shall be utilizable to assure uniformity at each point of usage= to the named declaration.=E2=80=9D would be one of those statements in Met= aAda, most likely stated in something resembling a language isomorphic to s= ymbolic logic instead of quick-&-dirty English prose here. (It is actually my criticism of all programming languages, but in all these= decades & decades Ada is the only one to have come the closest so far to o= beying a MetaAda-that-was-never-codified by mere habit of self-discipline o= f its designers. Only Algol68 attempted something even remotely in this ca= tegory of what I call MetaAda here but unfortunately Algol68's designers ch= ose cryptic van Wijngaarden 2-level grammar as the mode of bizarre [partial= ] expression of codifying the syntax & semantics of the language=E2=80=94an= d then not for the purpose of overarching story-arc big-picture principles.= I suppose that I should give a nod to Perl6's Parrot too, but Parrot's pu= rpose seems drastically different, but perhaps that is merely my shallow un= derstanding of Parrot showing there.)