层级很深，尾递归优化则使原本 O(n) 的调用栈空间只需要 O(1)。因此一些编程语言的标准要求语言实现进行尾调用消除，例如 Scheme与 ML 家族的语言。在 Scheme 中，语言标准还将尾位置形式化，指定了各种语法中允许尾调用的地方。以Python为例，主要区分普通递归和尾递归对栈空间的使用：def recsum(x):调用codice_16为例，SICP中描述了相应的栈空间变化：recsum(5)5 + recsum(4)5 + (4 + recsum(3))5 + (4 +