scheme - 直接引用自己的匿名 lambda

Question

Scheme 或任何方案的方言是否都有一种“自我”运算符，以便匿名 lambda 可以在自己身上重复出现，而无需执行 Y 组合器之类的操作或在 letrec 中命名等。

就像是:

(lambda (n)
   (cond
     ((= n 0) 1)
     (else (* n (self (- n 1)))))))

Answer 1

不。“当前 lambda”方法的问题在于 Scheme 有许多隐藏的 lambda。例如:

所有 let形式(包括 let* 、 letrec 和命名 let )

do (扩展为命名的 let )

delay , lazy , receive等

要求程序员知道最里面的 lambda 是什么会破坏封装，因为您必须知道所有隐藏的 lambda 在哪里，并且宏编写者不能再使用 lambda 作为创建新范围的一种方式。

如果你问我，全面失败。