|[6 earlier articles]|
|Re: Why context-free? email@example.com (2005-10-08)|
|Re: Why context-free? firstname.lastname@example.org (glen herrmannsfeldt) (2005-10-09)|
|Re: Why context-free? email@example.com (2005-10-09)|
|Re: Why context-free? firstname.lastname@example.org (2005-10-09)|
|Re: Why context-free? email@example.com (Robert Figura) (2005-10-10)|
|Re: Why context-free? firstname.lastname@example.org (Ivan Boldyrev) (2005-10-10)|
|Re: Why context-free? email@example.com (Tony Finch) (2005-10-13)|
|Re: Why context-free? firstname.lastname@example.org (2005-10-13)|
|Re: Why context-free? email@example.com (Chris F Clark) (2005-10-13)|
|Re: Why context-free? firstname.lastname@example.org (Neelakantan Krishnaswami) (2005-10-13)|
|Re: Why context-free? email@example.com (Darius Blasband) (2005-10-13)|
|Re: Why context-free? firstname.lastname@example.org (2005-10-14)|
|Re: Why context-free? email@example.com (Darius Blasband) (2005-10-19)|
|[14 later articles]|
|From:||Tony Finch <firstname.lastname@example.org>|
|Date:||13 Oct 2005 18:14:55 -0400|
|References:||05-10-053 05-10-055 05-10-064 05-10-070|
|Posted-Date:||13 Oct 2005 18:14:54 EDT|
email@example.com (Nick Maclaren) wrote:
>That is what two-level (van Wijngaarden) grammars were designed for
>but, as I said, I know of no comprehensible description. I have found
>nothing outside the "program proving" area that can handle scoping
>etc., and it is a lifetime task to extract useful information from the
>morass of obfuscated drivel that surrounds it.
The impression I got from reading the revised report on Algol 68 was that
the grammar involved a lot of fiddly programming at the wrong level of
abstraction - it wasted effort on recursive definitions of numerals, for
example. A good formalism should make things clearer, but the vW grammaer
is just obscure. Furthermore it has a reputation for being brittle - the
grammar was difficult to change as the language was refined.
Modern programming language theory doesn't generally bother itself with
syntax, probably because the type theory is interesting and complicated
enough without getting mired in low-level irrelevance.
f.a.n.finch <firstname.lastname@example.org> http://dotat.at/
FAEROES: SOUTH OR SOUTHWEST 6, INCREASING GALE 8 TO STORM 10, PERHAPS VIOLENT
STORM 11 LATER. RAIN OR SHOWERS. GOOD BECOMING MODERATE OR POOR.
Return to the
Search the comp.compilers archives again.