Go backward to Pure LISP Go up to Top Go forward to Dynamic Scoping

Scoping Rules

LET F = a₀ IN
    LET F = LAMBDA (Z) F CONS Z IN
        LET Z = a₁ IN
            F(Z CONS NL)

• Context of phrase solely determined by textual position.
• Occurence of F in function body refers to a₀!
• Simplification (see Figure 7.6)

  => (LAMBDA (Z) a₀ CONS Z) (a₁ CONS NIL)
  => (a₀ CONS (a₁ CONS NIL))