[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