[原]关于线性递归与尾递归

作为读书笔记使用：

线性递归：

fac(0) -> 1;
fac(N) -> N*fac(N-1).

尾递归：

fac(0,Sum) -> 
     Sum;
fac(N,Sum) -> 
     fac(N-1,Sum*N).

尾递归定义：

　　函数最后一步调用自身，即最后一行代码一定是对于自己的一个递归调用。

Erlang尾递归这样带来的好处是可以让编译器做到将递归优化，转化为跳转指令而不是，可以防止栈空间爆炸。

 

尾递归通常的做法是将中间状态加入到参数中，还可以防止共享变量的问题。这也是传说中的中间状态

python中对于尾递归的优化我还不得而知，Erlang对于线性递归做到了一定的优化，GCC也可以。

想去买一本《递归可枚举度与图灵度》