Racket：在一定范围内进行惰性评估

Question

Racket 提供了一个 language extension 用于惰性评估，它只需要在某个文件的开头有一个 #lang lazy 标头即可更改整个文件的评估策略。

但是，这种标准方法只允许课程级别的粒度；需要一种更精细的方法来将惰性求值限制在某个定义的范围内。

Racket 是否提供了一些标准方法来将惰性评估策略限制在某个范围内？我正在寻找类似以下的东西：

(eval-lazy (+ 2 2)) ;; only available by explicit or implicit call-by-need

Answer 1

#lang lazy 是与#lang racket 完全不同的语言。是的，您可以混合和匹配某些部分，但是在 #lang racket 模块中处理来自 #lang lazy 的惰性值可能会变得混乱。

每个方案，因此也是球拍，有delay 和force：

(define promise (delay (+ 2 2)))
(force promise) ; ==> 4

但这只是语法糖，因为你可以这样做：

(define promise (thunk (+ 2 2)))
(promise) ; ==> 4

当然thunk 只是不带参数的匿名函数的语法糖：

(define promise (lambda () (+ 2 2)))
(promise) ; ==> 4

现在delay 实际上稍微复杂一些，因为如果你调用这些函数，它每次都会运行表达式。为了防止这种情况发生，我们记住了结果。在这里，我将您的eval-lazy 实现为宏：

(define ^not-calculated (list #f)) ; unique value
(define-syntax eval-lazy
  (syntax-rules ()
    ((_ expression)
     (let ((value ^not-calculated))
       (lambda ()
         (when (eq? ^not-calculated value)
           (set! value expression))
         value)))))

与thunk 和lambda 一样，只要调用结果就会强制执行。

流

Racket 提供了一个stream library，它可用于执行所有算法的 90%，您可以将每个步骤抽象为它自己的过程，您可以将它们组合在一起而不会受到列表的惩罚。流只是cons 中的延迟值，在SICP 中普及