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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.107.111.26 with SMTP id k26mr8193661ioc.28.1522855803131; Wed, 04 Apr 2018 08:30:03 -0700 (PDT) X-Received: by 2002:a9d:554b:: with SMTP id h11-v6mr1054599oti.12.1522855802920; Wed, 04 Apr 2018 08:30:02 -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!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!u184-v6no6386367ita.0!news-out.google.com!u64-v6ni7994itb.0!nntp.google.com!k65-v6no4595842ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 4 Apr 2018 08:30:02 -0700 (PDT) In-Reply-To: <9879872e-c18a-4667-afe5-41ce0f54559f@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=165.255.112.198; posting-account=47Ol7goAAADT5rnqlkuv1VWtLKLRxZbE NNTP-Posting-Host: 165.255.112.198 References: <1b44444f-c1b3-414e-84fb-8798961487c3@googlegroups.com> <62ee0aac-49da-4925-b9aa-a16695b3fc45@googlegroups.com> <9879872e-c18a-4667-afe5-41ce0f54559f@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <2c18d429-5b5a-4472-af3d-aedd3ae6a34a@googlegroups.com> Subject: Re: Interesting article on ARG work From: gerdien.de.kruyf@gmail.com Injection-Date: Wed, 04 Apr 2018 15:30:03 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 4510 X-Received-Body-CRC: 508174056 Xref: reader02.eternal-september.org comp.lang.ada:51332 Date: 2018-04-04T08:30:02-07:00 List-Id: On Wednesday, 4 April 2018 17:05:35 UTC+2, Dan'l Miller wrote: > 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; >=20 > Randy, despite your humor in the original posting, I think that he is (se= riously) proposing that assertions optionally be named so that the named co= ndition and message pair is defined in one place and then utilized at the (= numerous) places where the assertion appears, so that the condition & messa= ge do not vary due to the drift of time, forgetfulness, and whim of differe= nt programmers. Something to the effect of: >=20 > in spec: > ASSERTION MyAssertion IS conditionExpressionOrName WITH messageStringLite= ralOrName; >=20 > elsewhere, potentially numerous times: > PRAGMA ASSERT( MyAssertion ); >=20 > Bojan, blackhole is not an actual feature (nor is Munificent Vigil an act= ual programming language). Look at the 01 April 2018 date of posting. As = a language principle of permitting everything to be declared with a name an= d then utilized by mentioning the name to assure uniformity at all points o= f utilization, your idea is neither humorous nor ridiculous, even though it= is in reply to a joke. You actually imply one of my criticisms of Ada: t= here is no MetaAda that declares all language principles (preferably in cod= e that compiler vendors would take as input when writing a compiler, instea= d of taking in English prose). =E2=80=9CEverything shall be able to be nam= ed; that name shall be utilizable to assure uniformity at each point of usa= ge to the named declaration.=E2=80=9D would be one of those statements in M= etaAda, most likely stated in something resembling a language isomorphic to= symbolic logic instead of quick-&-dirty English prose here. >=20 > (It is actually my criticism of all programming languages, but in all the= se decades & decades Ada is the only one to have come the closest so far to= obeying a MetaAda-that-was-never-codified by mere habit of self-discipline= of its designers. Only Algol68 attempted something even remotely in this = category of what I call MetaAda here but unfortunately Algol68's designers = chose cryptic van Wijngaarden 2-level grammar as the mode of bizarre [parti= al] expression of codifying the syntax & semantics of the language=E2=80=94= and then not for the purpose of overarching story-arc big-picture principle= s. I suppose that I should give a nod to Perl6's Parrot too, but Parrot's = purpose seems drastically different, but perhaps that is merely my shallow = understanding of Parrot showing there.) http://www.dtic.mil/docs/citations/ADA177802 A W-Grammar Description for ADA. enjoy. j.