Page:AIM-453.djvu/48



For VALUE, LOOKUP, and BIND see Figure 3. For EVCOND and EVLIS see see Figure 5. For LOOKUP1 see Figure 10 (not Figure 3).

Figure 14 Interpreter with Both Open and Closed Procedures

Although this is the tradition, it doesn't work very well. The problem is that the lexical variables are not really lexical. Although lexical references cannot incorrectly refer to dynamically intended bindings, the reverse is not true. Dynamic variable references can be captured by bindings intended to be strictly lexical.

For example, we might want to write a procedure which packages up information about dealing with RADIX: