scheme - 为什么 DrRacket 似乎将此识别为尾调用？

Question

考虑这个片段:

#lang racket

(define (f i)
  (if (> i 5)
      0
      (+ 1 (f (+ 1 i)))))

在这里，对 f 的调用不在尾部位置，当我调试时，我看到越来越多的表单堆栈

(+ ...)
(f ...)
(f ...)
(f ...)
(f ...)

这是预料之中的。但是，当我将鼠标悬停在最后一行的开头时，会出现一个浅紫色箭头并指向函数定义的开头。如果我正确理解文档，它表示尾部位置。我错过了什么？

Answer 1

最后一行的形式是相对于f的尾部位置。然而，对 f 的递归调用不是:如果您将鼠标悬停在 f 上，您将看到一个淡蓝色箭头，告诉您它是相同的 f 函数是绑定(bind)的。这是显示这两件事的屏幕截图:

所有 (if ...) 形式及其两个结果都在尾部位置。 f 与函数定义的 f 相同，但不在尾部位置。