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

[Eli Barzilay <eli@x>]

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
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports