题目描述中，(test 0 (p))的正则序求值没有问题，问题在于应用序求值时是先对(p)进行代换导致无限递归，而不是先对test进行代换，题主可能是在这里没有搞明白所以认为是表达式(if (= 0 0) 0 (p))出现无限递归。其实按照if表达式的求值方式，表达式(if (= 0 0) 0 (p))的值在应用序下也是0。参考2022 年 4 月出版的 JavaS
李欣宜 天地悠久,共奏乃音 不太认同这个举例,找了个不纯的函数说明多次调用的副作用,但窝小柑橘这东西危害未必有正则序或惰性求值大。 发布于 2020-07-17 17:37 赞同4 分享收藏 写下你的评论... 1 条评论 默认 最新 李欣宜 作者 纠正一下,我不是反对它的结论,但我认为这里的例子更多体...