Elisp定义Ackermann函数

Question

我正在阅读SICP，并参考它的

Exercise 1.10. The following procedure computes a mathematical function called Ackermann's function.

(define (A x y)
  (cond ((= y 0) 0)
        ((= x 0) (* 2 y))
        ((= y 1) 2)
        (else (A (- x 1)
                 (A x (- y 1))))))

用elisp重写它

(defun A (x y)
  (cond ((= y 0) 0)
        ((= x 0) (* 2 y))
        ((= y 1) 2)
        (else (A (- x 1)
                 (A x (- y 1))))))

(A 1 10)

报告错误：

A: Symbol’s value as variable is void: else

请参阅elisp的控制结构，因此在各种备选方案中丢失。

请您提供一些提示，以便使用cond和else定义该函数。

Answer 1

在Emacs中，您使用t而不是else。在这种情况下，语言参考是一个开始研究的好地方.节点/elisp/Conditionals.html

通常，当前面的子句都没有成功时，我们希望执行最后一个子句。为此，我们使用t作为最后一个子句的条件，如下所示：(t body-forms)。表单t的计算结果为t，这绝不是nil，所以这个子句永远不会失败，只要cond得到了它。例如： (setq 5) (cond ((eq 'hack) 'foo) (t“默认”))⇒“默认”