lisp - lisp有什么不同

Question

例如，

(cond ((< 2 1) 2 )((< 1 2 ) 1)) has value 1. OK;

但是，我在我的主要书中看到 (cond (diverge 1) (ture 0)) is undefined, if diverge does not terminate'。

lisp 的分歧是什么？

我不知道。

此外，我不确切知道 lisp 中的副作用是什么。

Answer 1

假设你原意的代码是

(cond ((diverge 1) (ture 0)))

那么当我们假设 diverge 是一个 - 正如它的名字所暗示的 - 发散操作时，该表达式的结果是未定义的(或者更好，也是发散的)。

A diverging operation是一种不会收敛到结果的方法，例如无限循环。

Common Lisp 标准中没有定义 diverge(它有什么实际用途？)，因此您的书只是通过将发散计算包装在一个操作中而省略了发散计算的“实现细节”并适本地命名。

请注意，如果假设 diverge 是符号宏，则原始代码可以公开相同的行为。