Sun Jul 19 11:16:28 CEST 2009

Abstract Interpretation and Higher Order Macros

Let's define HOMs as macro generating macros, not macro versions of
higher order functions (comprehensions?).

The problem with alternative interpretations and macros is that there
really should be one evaluation step (syntax -> semantics).  Can this
be done by making a macro generate both code and a macro?

I can't reach it at the moment.  The abstraction level is too
high... I wrote to the plt-list about this.