[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] ANN: first draft of R7RS small language available

To: Andre van Tonder <andre@x>
Subject: Re: [Scheme-reports] ANN: first draft of R7RS small language available
From: "Arthur A. Gleckler" <scheme@x>
Date: Tue, 3 May 2011 06:09:43 -0700
Cc: scheme-reports <scheme-reports@x>
In-reply-to: <Pine.SOC.4.64.1105030849430.15500@oow.het.brown.edu>
References: <BANLkTim=5TfhBkDHj9Pv_R+S99JrEeNojw@mail.gmail.com> <Pine.SOC.4.64.1105030849430.15500@oow.het.brown.edu>

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.

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports

Follow-Ups:
- Re: [Scheme-reports] ANN: first draft of R7RS small language available
  - From: Andre van Tonder <andre@x>

References:
- Re: [Scheme-reports] ANN: first draft of R7RS small language available
  - From: Andrzej <ndrwrdck@x>
- Re: [Scheme-reports] ANN: first draft of R7RS small language available
  - From: Andre van Tonder <andre@x>

Prev by Date: Re: [Scheme-reports] ANN: first draft of R7RS small language available
Next by Date: Re: [Scheme-reports] ANN: first draft of R7RS small language available
Previous by thread: Re: [Scheme-reports] ANN: first draft of R7RS small language available
Next by thread: Re: [Scheme-reports] ANN: first draft of R7RS small language available
Index(es):
- Date
- Thread