I am posting this as an individual member of the Scheme
community. I am not speaking for the R6RS editors.
Abdulaziz Ghuloum wrote:
> A "pure" interpreter, on the other hand, does none of
> this business prior to evaluation (it just interprets source-level s-
> expressions; plain and simple). I'm actually surprised to see this
> used in anything other than a homework assignment for junior-level
> course on programming languages.
Jonathan Rees's original implementation of the "Macros
that Work" algorithm for hygienic macro expansion was
a pure interpreter [1]. His approach would have worked
fine for R5RS Scheme, but would be disallowed by the
requirements of the 5.92 draft.
Will
[1] William D Clinger and Jonathan Rees. Macros that work.
In Proceedings of the 1991 ACM Conference on Principles of
Programming Languages, pages 155-162. Online at
ftp://ftp.cs.indiana.edu/pub/scheme-repository/doc/prop/macros_that_work.tex.gz
Received on Wed Mar 07 2007 - 16:33:44 UTC