Re: PHP fork project- Guile vs Python vs ?

[rm at mamma dot varadinet dot de]

On Sun, Jul 09, 2000 at 08:41:51PM +0200, Mikael Djurfeldt wrote:

>[...]
> I think we should begin to develop some language support tools, such
> as table-driven lexical analyzers and lalr parsers so that we can
> define the tokens and grammar in Scheme syntax, compile this into
> tables, and use them in Scheme primitives which does the actual
> parsing.  Such tools could actually replace the current reader.


Has anyone had a look at the essence parser? To me it looks like
it does exactely what you are looking for. I currently runs only
under scheme48 but the code it creates is pure r5rs scheme. I just
installed scheme48 to play a bit with it and learn that dialect
of scheme. From what i have seen porting shouldn't be too hard
(but then, i'm a complete newbie to scheme).
The parser-generator can work in two modes: a batch mode that
generates parser code or a runtime mode where one can construct
a syntax table (with scheme expressions) and parser a stream
with that syntax.

The URL is:
  http://www.informatik.uni-freiburg.de/proglang/software/essence

> Bigloo has such tools.  I have previously rewritten the flex lexical
> analyzer to use tables provided from Scheme and started to do the same
> for Bison.  There is, however, currently no one working on this.  Any
> contribution in this area would be very good.
> 
> Regarding what intermediate representation to use during translation,
> there is research going on on using a lambda calculus intermediate
> representation for efficient compilation of Java.


  Ralf