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

Re: [Scheme-reports] Are generated toplevel definitions secret?

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@x
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