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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: buffer2.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!1.eu.feeder.erje.net!news2.arglkargh.de!news.mixmin.net!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Build language with weak typing, then add scaffolding later to strengthen it? Date: Sat, 30 May 2015 13:12:07 +0200 Organization: cbb software GmbH Message-ID: <1dmgofrqo3xn5$.1p4241xr4z92p.dlg@40tude.net> References: <59a4ee45-23fb-4b0e-905c-cc16ce46b5f6@googlegroups.com> <46b2dce1-2a1c-455d-b041-3a9d217e2c3f@googlegroups.com> <3277d769-6503-4c7f-885f-3a730762b620@googlegroups.com> <9fa68fb7-89f0-42b3-8f25-20e70cb34d63@googlegroups.com> <87egm3u662.fsf@adaheads.sparre-andersen.dk> <20c56bea-2803-4aa9-a626-2d25e480df20@googlegroups.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: evoS9sCOdnHjo0GRLLMU1Q.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: number.nntp.giganews.com comp.lang.ada:193401 Date: 2015-05-30T13:12:07+02:00 List-Id: On Sat, 30 May 2015 03:28:51 -0700 (PDT), jan.de.kruyf@gmail.com wrote: > For the old man a language is "right" when the EBNF diagram is "right" or perhaps "beautiful". BNF describes the language syntax or a formal language. Formal language <<< programming language. Since 60's there is nothing interesting you could describe in BNF or in any other syntactic formalism. We do know how "good" syntax looks like. > All his life Wirth has striven to get that part right, You mean IF-THEN-ELSE, did he? (:-)) BTW, in all Wirth books I ever read he used directed graphs for syntax definitions instead of BNF. > So if you want to do any cleaning up I would say lets start with drawing > up a EBNF of Ada. ARM Annex P. That is less than 0.1% of what constitutes a programming language. > It will explain the critique from Dijkstra and Wirth, It wasn't for Ada syntax AFAIK. > And the biggest bonus will be that we will be able to work faster, once we > have a good understanding of the mathematical underpinnings of the > language. Which ones? There is no problem parsing Ada. It is trivial, in fact. There is little or nothing to understand there from a mathematical point of view. And this is not a problem people have with Ada. Even those, who dearly want curly brackets and = for assignment, should understand that grammatically there would be absolutely NO difference. Whether the end token is "end" or "}" matters only aesthetically. Few syntax problems Ada has come straight from Wirth himself. E.g. different syntax for declarations of subprogram types and values (bodies) from other types and values. Wirth seems never cared much about types. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de