LISP中的递归不使用标签

Bel*_*lgi 1 lisp recursion

我开始学习LISP,我听说有一种技巧可以在不使用标签的情况下进行递归(仅使用:quote,atom,eq,car,cdr,cons,cond).

我给了它一些想法,但我想不出这样做,因为我定义的函数没有名字.

我猜它是用cond完成的,我真的不知道怎么样......

[问题是如何实现具有上述限制的递归]

Der*_*urk 5

对于匿名递归,您将需要一个定点组合器,其中最着名的组合称为Y组合器.理查德加布里埃尔的"为什么是Y"是一篇很好的文章,它在计划中推导并证明了Y.