SICP求值环境模型中Environment与Frame的区别辨析及理解验证

问题背景 #

我发现SICP的3.2章节对environment与frame的具体区别描述较为模糊，有时二者被混用，有时又被标注为不同概念，难以明确差异。该章节核心逻辑清晰：若过程执行时变量未在当前environment/frame中绑定，则会在封闭environment/frame中查找，依此类推。但environment与frame的区分仍不明确。

书中给出的定义 #

书中明确给出以下定义：

• "environment是frame的序列"
• frame本质是键值绑定表
• frame包含指向其封闭environment的指针
• 过程在environment中求值

个人理解（结合章节图示） #

章节里的图示（含标记为I、II、III的frame与标记为A、B、C、D的environment，所有environment均指向frame）是最清晰的说明。结合图示并假设frame I上方存在全局environment G，我对二者的理解如下：

• frame是包含键值对的具体表，含特殊绑定（如{ z: 6, x: 7, __parent__: <I> }）指向父frame
• 过程是一个二元组：第一元素指向存储参数列表与过程体的结构；第二元素指向某个frame，该frame或许就是environment的具象载体
• environment可指三种情况：
  • 指向某个frame的指针
  • 待遍历以查找键值的frame序列（如'(II, I, G)）
  • 合并所有层级frame绑定的抽象集合（优先采用首个frame的绑定），因此称“过程在environment中求值”是为了封装所有可用绑定的抽象概念

请求专业判断 #

恳请熟悉SICP术语定义的专业人士判断我的理解是否正确，或进一步澄清environment与frame的区别及术语误用场景。

内容的提问来源于stack exchange，提问作者jim