方案中奇怪的递归定义

Question

考虑以下方案定义：

(define f (lambda () (procedure? f)))

奇怪的是，当我评估(f)我得到#t 。 问题是：为什么该评估会终止？ 我期望它无限循环。 鉴于f尚未定义，内部lambda求值什么？

Answer 1

这里没有递归。

当您执行此代码时，将定义过程f （未执行）：

> (define f (lambda () (procedure? f)))
> f
#<procedure:f>

然后，当您执行它时，它将检查是否存在与符号f相关联的过程，该过程在当时是正确的，因此返回#t ：

> (f)
#t

为了递归，该过程必须使用(f)进行调用。