方案中的控制评估（guiile）

Question

这似乎是一个简单的问题；也许它是如此简单，以至于很难找到能够找到答案的搜索。在Scheme（具体来说，Guile 实现，如果这有什么区别）中，我如何评估已引用的内容？

这就是我正在尝试做的事情。

我基本上需要确保我定义的函数按特定顺序评估其参数，因为评估一个参数引起的副作用取决于评估其他参数的过程。但是，Scheme 表示参数可以按任何顺序求值，因此我想通过引用参数来手动强制执行，然后按需要的顺序手动求值。

看来“eval”应该做我想做的事，但它有两个问题：

1. 不鼓励使用它，所以我觉得应该有更好的方法来完成我想做的事情。
2. 在Scheme中，eval似乎需要第二个参数，即环境。这让我很困惑。我希望它在语句出现的同一环境中进行评估，那么为什么我需要第二个参数呢？这可能吗？我玩了一下 eval ，似乎有些实现需要不同的参数（例如 mit-scheme 甚至不知道（交互环境）是什么！！！）

我尝试了其他技巧，比如构建 lambda ：

(list 'lambda '() '(car (b c)))

但似乎必须对其进行评估才能生成过程。 我也尝试过：

(list lambda '() '(car (b c)))

但这会返回一个“原始内置宏”，它也不起作用。

编辑： 看起来宏可以用于控制求值顺序： (defmacro test1 (ab) `(开始,b,a))

Answer 1

eval 对于仅仅改变参数求值顺序来说是完全错误的工具。创建一个宏：

;; (my-fun e1 e2)
;; Just calls my-real-fun, but evaluates e2 before e1
(define-syntax my-fun
  (syntax-rules ()
    [(my-fun e1 e2)
     ;; let* has guaranteed order of evaluation
     (let* ([y e2]
            [x e1])
       (my-real-fun x y))]))

(define (my-real-fun x y) ....)

如果必须的话，或者使用 defmacro。

Answer 2

如果您需要评估列表结构（带有代表Scheme程序文本的带引号符号的嵌套列表），那么您应该使用eval。方案要求传递一个环境作为第二个参数，即使它是当前环境：

(eval '(+ x y) (interaction-environment))

如果您只需要按特定顺序进行计算，则可以使用 begin、let，或者只是一个函数体。它们定义了一系列求值：

(let ((x 42))
  ; eval with effects #1
  (display x)
  ; eval with effects #2
  (display (+ x 1)))

编辑：如果您需要一个参数化的代码块，您可以在其中传递未求值的表达式，然后强制按某种特定顺序对其求值，那么您可以使用以下技术之一：

• 宏（正如您已经提到的，只是为了完整性）：

  <前><代码>> (defmacro test1 (ab) `(开始,b,a))
  > (测试1 (显示2) (显示3)
  32

• 延迟计算（Scheme 用于延迟计算的特殊语法）：

  <前><代码>> （定义（test1 ab）（开始（力b）（力a）））
  > (测试1 (延迟(显示2)) (延迟(显示3)))
  32

• 常规 lambda 抽象和应用

  <前><代码>> （定义（test1 ab）（开始（b）（a）））
  > (test1 (lambda () (显示 2)) (lambda () (显示 3)))
  32

Answer 3

通过传入 lambda 表达式，您走在正确的轨道上。如果你有

(define (f x y z) ...)

...那么你可以像这样调用它：

(f
  (lambda () a)
  (lambda () b)
  (lambda () c))

这将使用所有参数调用 f (a, b, c）以未评估的形式。在 f 中，您拥有完全的权力来选择评估它们的顺序。唯一的区别是您必须显式调用 (x)、(y) 和 (z)，并在 中捕获它们的值>define 或 let 之类的语句。这可以让您确保副作用仅发生一次。

这里根本不需要宏。顺便说一句，不用担心到处使用大量 lambda，它们非常便宜。