Re: ANN: first draft of R7RS small language available Arthur A. Gleckler (03 May 2011 13:10 UTC)
Re: [Scheme-reports] ANN: first draft of R7RS small language available Andre van Tonder (03 May 2011 13:27 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Andre van Tonder 03 May 2011 13:27 UTC

On Tue, 3 May 2011, Arthur A. Gleckler wrote:

>>
>> Because expressions should be invariant under alpha renaming.  In other
>> words,
>> the expression
>>
>
> But wouldn't it also be reasonable to say that COND establishes a local
> scope in which ELSE is bound?  The alpha-renaming argument wouldn't work
> then.

That brings us into the territory of unhygienic macros.  One problem with
unhygienic macros is that they don't compose well.  See this thread
http://lists.racket-lang.org/users/archive/2009-January/029784.html
for examples of the kind of problems one might run into.