[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Opaque thought experiment



On Mon, 22 Aug 2005, Matthias Neubauer wrote:

How about specifying an interface for scheme syntax instead. Something
like ...

make-syntax-lambda-expression
make-syntax-procedure-call
make-syntax-conditional
...

I don't see anything wrong with this, but it would be a different paradigm. The hygiene algorithm is in fact designed to automate this, and indeed it uses the equivalent of your suggested constructors internally, as opposed to traditional Lisp expanders that do not interpret the result of macro-expansion.

Also keep in mind that the reader cannot interpret the s-expressions it reads, since the meaning of these s-expressions can become known only during macro-expansion. The input to macro-expansion therefore can only be some structure that is homomorphic to an s-expression.

Cheers
Andre