Sat Apr 25 12:32:44 CEST 2009


So the question is mostly: does the current lexical parameterization
work for solving all possible syntax combinations?

Let's see.

All works pretty well, except for quasiquote.  I don't understand how
it works any more..

Ok.. Quasiquote serves to build datastructures containing functions:

     `(1 2 ,+)      -> (list 1 2 xxx/+)
     `(1 2 ,(+ +))  -> (list 1 2 (xxx: + +))

This is a bit ad-hoc, and I don't beleive it is used much..

Looks like the basic parser is done.