Scheme SICP中的词汇与动态范围界定'；s环境评价模型

Scheme SICP中的词汇与动态范围界定'；s环境评价模型,scheme,sicp,lexical-scope,dynamic-scope,Scheme,Sicp,Lexical Scope,Dynamic Scope,在SICP中，执行以下代码段 (define (square x) (* x x)) (define (sum-of-squares x y) (+ (square x) (square y))) (define (f a) (sum-of-squares (+ a 1) (* a 2))) (f 5) 这是从以下方面来解释的 每次应用一个函数时，都会创建一个新的帧（标记为E1到E4），它表示符号和值之间的一组绑定。当符号未绑定到框架中时，将查询该框架的封闭环境以获取该特定符号的

(define (square x)
  (* x x))
(define (sum-of-squares x y)
  (+ (square x) (square y)))
(define (f a)
  (sum-of-squares (+ a 1) (* a 2)))

(f 5)

E1

E4

E

square

square

E3

E2

E1