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

_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to