非严格模式实现尾递归优化

非严格模式实现尾递归，尾递归之所以需要优化，原因是调用栈太多造成溢出，减少调用栈可通过‘循环’替换‘递归’

function sum(x, y) {
    if(y > 0) {
        return (x+1, y-1)
    } else {
        return x
    }
}

sum(1, 100000)
// Uncaught RangeError: Maximum call stack size exceeded(...)

上面超出了最大次数

蹦床函数（trampoline）可以将递归转为循环执行

function trampoline(f) {
    while (f && f instanceof Function) {
        f = f()
    }
    return f;
}

以上代码就是蹦床函数的实现，它接受函数f作为参数。只要f执行后返回一个函数，就继续执行。

这里是返回一个函数，然后执行该函数，而不是在函数里面调用函数。这样就避免了递归执行，从而消除了调用栈过大的问题。

然后需要吧原来的递归函数改写为每一步返回另一个函数

function sum(x, y) {
    if(y > 0) {
        return sum.bind(null, x+1, y-1)
    } else {
        return x
    }
}

上面的代码中，sum函数的每次执行都会返回自身的另一个版本。

现在，使用蹦床函数执行sum就不会发生调用栈溢出

trampoline(sum(1, 100000)) // 100001

蹦床函数并不是真正的尾递归调用，下面是实现才是

function tco(f) {
    var value,
        active = false,
        accumulated = [];
    
    return function accumulator() {
        accumulated.push(arguments)
        if(!active) {
            active = true
            while (accumulated.length) {
                value = f.apply(this, accumulated.shift());
            }
        }
        active = false;
        return value;
    } 
}

var sum = tco(function (x, y) {
    if(y > 0) {
        return sum(x+1, y-1);
    } else {
        return x;
    }
})

sum(1, 100000)
// 100001

上面代码中，tco函数是尾递归优化的实现，他的奥妙就在于状态的变量active。默认情况下，这个变量是不被激活的。一旦进入尾递归优化的过程，这个变量就被激活了。然后，每一轮递归sum返回的都是undefined,所以就避免了递归执行；而accumulated数组存放的每一轮sum执行的参数，总是有值的，这就保证了accumulator函数内部的while循环总会执行，很巧妙的将‘递归’改成了‘循环’，而后一轮的参数会取代前一轮的参数，保证调用栈只有一层。