2

我正在尝试基于 SICP 中的元循环评估器编写一个玩具 python 方案解释​​器。由于 python 只支持有限深度的调用堆栈，我必须消除尾调用。我阅读了蹦床并用它实现了解析器。

但我不知道如何以连续传递风格编写分析器/评估器函数以将它们与蹦床一起使用。例如，eval-if函数：

(define (eval-if expr env)
    (if (is-true? (eval (if-predicate expr) env))
        (eval (if-consequent expr) env)
        (eval (if-alternate expr) env)))

在蟒蛇中：

def eval_if(expr, env):
    if is_true(eval(if_predicate(expr), env)):
        return eval(if_consequent(expr), env)
    else:
        return eval(if_alternate(expr), env)

当我想检查谓词是否为真时，我必须对其进行新一轮的调用eval。我应该如何以 CPS 形式编写这种递归调用？

4

1 回答 1

3

在 scheme/Racket 中，您可以将此函数的 CPSed 形式编写为：

;; evaluate an 'if':
(define (eval-if expr env k)
  (eval (if-predicate expr) env
        (lambda (testval)
          (if (is-true? testval)
              (eval (if-consequent expr) env k)
              (eval (if-alternate expr) env k)))))

请注意，这假设您的“评估”也是用 CPS 编写的。在 Python 中，如果 Guido 允许，您大概可以使用“lambda”；否则，我相信您可以为此定义一个内部函数。

于 2012-02-15T07:33:06.813 回答