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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,3a1c64628a09855b X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit X-FeedAbuse: http://nntpfeed.proxad.net/abuse.pl feeded by 88.191.65.235 Path: g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!nntpfeed.proxad.net!news.side3.eu!news.buerger.net!LF.net!news.enyo.de!not-for-mail From: Florian Weimer Newsgroups: comp.lang.ada Subject: Re: Lack of formal syntax undermines Ada Date: Mon, 14 Apr 2008 00:04:01 +0200 Message-ID: <873apptnse.fsf@mid.deneb.enyo.de> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: idssi.enyo.de 1208124241 11486 212.9.189.177 (13 Apr 2008 22:04:01 GMT) X-Complaints-To: Cancel-Lock: sha1:PVLC5v/cJ7AxYIaigbyBSJRr3Ec= Xref: g2news1.google.com comp.lang.ada:20924 Date: 2008-04-14T00:04:01+02:00 List-Id: > Ada does not have a formal syntax. The LRM provides "syntax rules" > section by section, then collectively in Annex P. The resulting > woolly grammar is well-known to be ambiguous (e.g. is X:=Y(Z) an > assignment from a function call, array indexing or something > else?). It mixes lexical and syntactical information. It cannot > be used as the input to a parser generator. The interpretation > necessary via other sections of the LRM risks making the language > as a whole indefinite. It shares this property with other many other languages. For example, the Definition of Standard ML contains mostly correct formal semantics of the language, but the grammar suffers from a few ambiguities which actually arise in practice. I'm sure there are other examples. After all, syntax is easy. Getting the semantics right is the difficult part. I agree that some additional formalism might not hurt, but it's probably better if that effort goes into an improved description of the semantics (assuming that there are limited resources to create the language standard). At least that's how I try to explain this phenomenon to myself.