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