在没有宏的情况下使用延迟/强制来实现控制结构？

Question

使用Scheme编程语言，如何使用延迟/强制来实现控制结构而不诉诸使用宏设施？

谢谢。

Answer 1

大多数编程语言都支持不冗余计算参数的控制流结构。

因此，一旦找到第一个错误表达式，(and (expression_1) ... (expression_N)) 就会返回 #f。

如果and只是Scheme中的一个函数，那么它的所有参数都会在到达and的实现主体之前被评估。您无法实施它来解决这个问题。

宏不评估它们的参数，它们只是在评估之前重写术语。您可以利用这一点来创建像 if/cond/or/and 这样的控制结构，只要您已经有其中之一可以使用。事实上，由于 lambda 主体在调用之前不会被求值，因此延迟求值控制流语句真正需要的只是 lambda 和宏。

现在，如果您不想使用宏，那么您的参数将被评估。您必须将它们包装在 lambda 中，或者您可以使用延迟/强制。但是这样你就不会将表达式传递到你的控制结构中。你正在传递包裹在某些东西中的表达式。它变得有点难看。

这是一个使用 lambda 的人为示例。

(define bool1
  (lambda ()
    (display "evaluating bool1\n")
    #t))


(define bool2
  (lambda ()
    (display "evaluating bool2\n")
    #t))

(define (_or b1 b2)
  (if (b1) #t
      (if (b2) #t #f)))

(define (_and b1 b2)
  (if (b1) (if (b2) #t #f) #f))

用法：

> (_and bool1 bool2)
evaluating bool1
evaluating bool2
#t
> (_or bool1 bool2)
evaluating bool1
#t
>