如何评估作为符号返回的过程

Question

我们在课堂上处理数据表示，我们必须将整数表示为差异树。对于我的零？我想实际评估差异树以查看它是否为 0。但是我的所有程序都返回符号。我不知道如何让 Scheme 评估程序。

差异树 ::= (一) | (diff diff-tree diff-tree)

(前身'(一)) = (diff(一)(一))

所以如果我有(is-zero? (predecessor '(one))) |注意：它必须把它当作一个符号

它将评估为 (is-zero? '(diff (one)(one))) 我如何得到它以便我可以实际评估差异作为一个函数？ 我已经有 (define diff -) (define (one) 1) 所以如果我只是运行 (diff (one)(one))

所有其他函数，例如前置函数，都必须返回一个符号。

我不太擅长解释，但我希望我做得足够好让人们理解。

注意：我创建了另一个函数，它递归地遍历差异树并对其进行评估。它没有我想要的那么好，但它会起作用。

(define evaluate
  (lambda (dt)
    (if (eqv? (car dt) 'diff)
        (- (evaluate (cadr dt))(evaluate (caddr dt)))
        1
        )))
(define is-zero?
  (lambda (dt)
    (if (= 0 (evaluate dt))
        #t
        #f
     )))

Answer 1

这是一个草图，无法访问 Scheme 编译器:)。

(define (list-eval l)
  (apply (car l) (map list-eval (cdr l))))

(define (is-zero? l)
  (= 0 (list-eval l)))

Answer 2

在我看来，这项任务的想法是让您为差异树开发一个解释器，或者（鉴于规范的“有趣”性）开发对保留“树”的树执行代数操作的函数意义。”

假设只需编写一个返回整数的解释器就可以了——这显然是你的想法——你需要在一块自引用复合数据”（即您的差异树）。它首先为您的“解释”功能选择名称和合同。那么，一些测试用例呢？