方案：eval 函数的正确应用？

Question

在工作中，我在尝试使用Scheme实现配置脚本时遇到了一个基本问题。为了避免发明人工且受限制的语言，脚本应包含实际代码。稍后将评估此代码。为了使配置按需要工作，它必须能够访问某些变量。这些变量只有在评估的背景下才知道。因此，必须在当前环境中评估配置脚本。这是我正在谈论的一个原始示例：

(let ((a #t))
  (wr "a is ..."
    (eval '(if a "true" "false"))))

运行此代码时，我总是收到一条错误消息，告诉我变量“a”未知。所以问题是：您知道如何评估当前环境中的冻结代码吗？

PS：我使用bigloo编译器。

/////////////////////////////////////////////////////////////////////////////////// 编辑： //////////////////////////////////////////////// //////

当使用 Chris 建议的方法时，我遇到了另一个有趣的问题，即 case 关键字的使用。以下两个示例都使用相同的 case 结构，应该会触发“yes！”的输出。线。不幸的是他们的行为不同。

平常->输出是“是！”正如预期的那样：

  (define testit "test")
  (case testit
    (("test")
     (begin (newline) (write "yes!") (newline)))
    (else
      (begin (newline) (write "no!") (newline)))))

随着 eval ->输出令人惊讶地是“否”：

  (define env (null-environment 5))
  (eval '(define testit "test") env)
  (eval '(case testit
           (("test")
            (begin (newline) (write "yes!") (newline)))
           (else
            (begin (newline) (write "no!") (newline))))) 

这有什么意义吗？

Answer 1

eval 无法访问词法变量，例如使用 let 定义的变量。

相反，您必须创建一个环境，并用您想要提供的变量填充它。例如：

(define env (null-environment 5))
(eval '(define a #t) env)
(wr "a is ..."
    (eval '(if a "true" "false") env))

Answer 2

为了回答您的编辑，您没有将 env 作为参数传递给最后一个 eval。如果未给出该参数，则 eval 创建的环境中不存在 testit。

这可能是一个错字，但如果不是，那就是你的问题了。