|Syntax directed compilation firstname.lastname@example.org (Barry Kelly) (2007-05-26)|
|Re: Syntax directed compilation email@example.com (Aaron Gray) (2007-05-28)|
|Re: Syntax directed compilation firstname.lastname@example.org (Steven Nichols) (2007-05-28)|
|Re: Syntax directed compilation email@example.com (2007-05-29)|
|Re: Syntax directed compilation cfc@shell01.TheWorld.com (Chris F Clark) (2007-05-29)|
|Re: Syntax directed compilation firstname.lastname@example.org (Matthew X. Economou) (2007-05-31)|
|Re: Syntax directed compilation email@example.com (Barry Kelly) (2007-06-20)|
|From:||"Aaron Gray" <firstname.lastname@example.org>|
|Date:||Mon, 28 May 2007 02:10:28 +0100|
"Barry Kelly" <email@example.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
Also you can look at 'prop' :-
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
> 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
Return to the
Search the comp.compilers archives again.