可以“康德”完全替换“if”声明？

Question

我知道“cond”是基于“if”的，但是“cond”可以做“if”能做的所有事情吗？ 谢谢

Answer 1

是的。任何

(if x y z)

使用 if 的条件都可以转换为使用 cond 的等效条件：

(cond (x y)
      (t z))

例如，考虑以下情况：

(if (= 1 2) (format t "crazy~%") (format t "sane~%"))

上面的代码可以转换为：

(cond ((= 1 2) (format t "crazy~%"))
      (t (format t "sane~%")))

Answer 2

“if”很可能被实现为围绕“cond”的宏。 “cond”是这里实际的“原语”，而不是“if”。

Answer 3

根据您所处理的 Lisp，if 和 cond 肯定并不总是可以互换。这是一个测试来找出答案。我给出的结果来自 MIT 的（2014）Scheme 解释器。

测试

我们可以设计一个使用 cond 实现的 new-if 方法：

(define (new-if predicate then-clause else-clause)
   (cond (predicate then-clause)
         (else  else-clause)))

我们可以使用 old-if 和 new-if 尝试以下操作：

(define (recursive-func a b)
    (if (= a 0) b
        (recursive-func a b)))

(recursive-func 0 1)

=> 1

并使用 new-if：

(define (recursive-func a b)
    (new-if (= a 0) b
         (recursive-func a b)))

(recursive-func 0 1)

=>; ;中止！：超出最大递归深度