[r6rs-discuss] R6 counterproposal

From: R. Kent Dybvig <dyb>
Date: Tue, 29 May 2007 08:48:10 -0400

> (1) Expressing defmacro alone is not enough. You have to be able to
> express at least macroexpand as well (and this has a number of
> consequences which require you to do even more).

Agreed, and to simulate full Common Lisp macros one would have to provide
some access to the compile-time environment. Individual implementations
of syntax-case support these things in various ways, and perhaps r7rs will
as well, but we didn't want to bite off too much for r6rs.

> (2) You can do the converse. I have a relatively straightforward
> implementation of hygienic macros in terms of defmacro. I hope to be
> able to report on that soon.

Please do.

Kent
Received on Tue May 29 2007 - 08:48:10 UTC