Andy Wingo scripsit:

> > http://en.wikipedia.org/wiki/De_Bruijn_index
>
> These are for lexical bindings.  I am talking about toplevel bindings.
> Please read the thread before replying.  Thanks :)

Well, in an ML-style REPL, where top-level definitions are bindings whose
scope is from the definition to the end of the REPL, De Bruijn indices are
the Right Thing.  AFAIK no Scheme REPL behaves like this, and R7RS will require
that the redefinition of top-level variables be permitted with retroactive
effect, provided the references are inside lambdas.

--
Why are well-meaning Westerners so concerned that   John Cowan
the opening of a Colonel Sanders in Beijing means   cowan@ccil.org
the end of Chinese culture? [...]  We have had      http://www.ccil.org/~cowan
Chinese restaurants in America for over a century,
and it hasn't made us Chinese.  On the contrary,
we obliged the Chinese to invent chop suey.            --Marshall Sahlins

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