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

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

5 hours ago, Andrzej wrote:
> On Sat, May 7, 2011 at 9:54 PM, Andre van Tonder <andre@x> wrote:
> >
> >> (let ((+ -)) (quote +)) => +
> >> is matching symbols by name, do we want '-' instead?
> >
> > That would defeat the purpose of QUOTE.  QUOTE gives a way of
> > writing symbolic data (or more generally s-expression datums)
> > literally.  What you see on the screen is what you get.  Its value
> > is unaffected by any enclosing bindings.  I thnk you are
> > overcomplicating something very simple.
> Without LET this would behave just like a normal QUOTE form. The
> situation isn't much different from ELSE in COND, which also behaves
> normally unless someone tries to bind it to #f.

You have a fundamental misunderstanding -- symbols and identifiers are
very different things (mostly because of hygiene).

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Scheme-reports mailing list