ยทยทยทยท@pobox.com wrote:
> The topic of this article is writing R5RS macros that are
> observationally equivalent to referentially opaque macros. These
> macros capture user identifiers and allow their own identifiers being
> captured by closest lexical bindings. In other words, we will write
> macros that do the things that the R5RS macro system has sought to
> prevent. This article will also show how to 're-define' a lambda form
> while still keeping the original 'lambda' available. The redefined
> lambda acts as if it was infected by a virus, which propagates through
> the lambda's body infecting other lambdas in turn. Although we will be
> re-defining all binding forms, we will preserve the semantics of
> Scheme as given in R5RS.
>
Spectacular stuff !
--
Don't eat yellow snow.