Question

我正在修读一门名为编程语言原则的课程。它介绍了一个简单的解释器的设计。

gere是这个翻译的一部分代码：

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

我想知道解释器中的环境是什么。

Answer 1

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