翻译的环境是什么？

Question

我正在修一门名为“编程语言原理”的课程。介绍了一种简单的解释器的设计。

gere是这个解释器的一段代码：

(define valof
 (lambda (exp env)
  (dmatch exp
    [,sym (guard (symbol? sym)) (env sym)]
    ... )))

我想知道翻译中的环境是什么。

Answer 1

在您正在查看的解释器中，环境是将值与变量名称关联起来的对象。通常，它是一个帧列表，每个帧都是一个变量绑定列表。

看看http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-21.html#%_sec_3.2，讨论评估器是如何使用环境的。