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
