为什么DrRacket似乎认为这是一个尾声呢？
为什么DrRacket似乎认为这是一个尾声呢？
提问于 2021-03-06 13:19:31
考虑一下这个片段：
#lang racket
(define (f i)
(if (> i 5)
0
(+ 1 (f (+ 1 i)))))在这里，对f的调用不在尾位置，当我进行调试时，我看到表单的堆栈在不断增加。
(+ ...)
(f ...)
(f ...)
(f ...)
(f ...)这是意料之中的。但是，当我悬停在最后一行的开头时，会出现一个浅紫色箭头，指向函数定义的开头。如果我正确理解了文档，它就表示尾部位置。我遗漏了什么？
回答 2
Stack Overflow用户
回答已采纳
发布于 2021-03-06 13:40:52
最后一行的形式相对于f而言处于尾部位置。然而，对f的递归调用不是:如果您在f上悬停，您将得到一个浅蓝色箭头，它告诉您函数绑定的是同一个f。下面是一张屏幕截图，展示了这两种情况：
所有的(if ...)形式和它的两个结果都在尾部位置。f与函数定义的f相同，但不在尾部位置。
Stack Overflow用户
发布于 2021-03-07 08:38:43
当你移动到B时，你看到A➯B，这意味着你可以在A中找到B的定义。
当您移动到A并且看到一个➯B时，您可以看到变量绑定的出现。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/66506064
复制相关文章
相似问题
腾讯云开发者
