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

Re: Vectors as functions



>>>>>> "Michael" == Michael Vanier <mvanier@cs.caltech.edu> writes:
>
>  (let ((name 'foo))
>
> At the place 'foo occurs, there's no way to tell what binding it's
> associated with.  In fact, it may be associated with several different
> bindings at run time, which is a hallmark property of dynamic binding.


    It seems that one way to look at this is to consider " 'foo " to be a
degenerate case of literal code, with the same binding problems.  If
you could store the symbol "foo" along with the environment in effect
at the time you stored it, a la (lambda), wouldn't that allow
optimization and analysis and all that good stuff?