Re: Syntax directed compilation

"Aaron Gray" <ang.usenet@gmail.com>
Mon, 28 May 2007 02:10:28 +0100

          From comp.compilers

Related articles
Syntax directed compilation barry.j.kelly@gmail.com (Barry Kelly) (2007-05-26)
Re: Syntax directed compilation ang.usenet@gmail.com (Aaron Gray) (2007-05-28)
Re: Syntax directed compilation sdn@svpal.org (Steven Nichols) (2007-05-28)
Re: Syntax directed compilation thomas.mertes@gmx.at (2007-05-29)
Re: Syntax directed compilation cfc@shell01.TheWorld.com (Chris F Clark) (2007-05-29)
Re: Syntax directed compilation xenophon+usenet@irtnog.org (Matthew X. Economou) (2007-05-31)
Re: Syntax directed compilation barry.j.kelly@gmail.com (Barry Kelly) (2007-06-20)
| List of all articles for this month |

From: "Aaron Gray" <ang.usenet@gmail.com>
Newsgroups: comp.compilers
Date: Mon, 28 May 2007 02:10:28 +0100
Organization: Compilers Central
References: 07-05-088
Keywords: parse, design

"Barry Kelly" <barry.j.kelly@gmail.com> wrote in message
>I recall, a long time back on this group, people pointing out that
> languages supporting redefinable or user extensible grammars have
> never taken off, and that like heavy armour on insects, it's a feature
> more notable of the extinct than the extant. The argument against them
> seems to be "too much power, users write their own languages and then
> can't understand one another's". That always seemed like a weak
> argument to me, and in this day and age of DSLs and indirect program
> rewriting in dynamic languages, I wonder if it just hasn't been done
> correctly yet.


Yes me too.


> Has there been research in this area that I've missed on my searches
> (using 'syntax directed compilation' as my main phrase)?


Dylan is worth looking at it has a macro system that gives a frontended
approach.


                http://www.opendylan.org/books/drm/


Also you can look at 'prop' :-


                http://prop-cc.sf.net


I ported it to MSVC and modern GCC some time ago but have not really done
much with it. Its a preprocessor to C++, with compiler-compiler and
functional facilities.


> Is the idea trivially dismissible by some argument I'm not aware of?
>
> Or is the idea completely bonkers, and am I clearly advertising my
> insanity by outlining it?


No, it just a very difficult thing to do and get right in a language. It
really needs a proper archetecture and/or an "open compiler", to coin a
term.


Aaron


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.