Swift尾随递归（Recursive Tail Calls）和Trampoline

###普通递归

func tri(n:Int)->Int{
    if n <= 0 {
        return 0
    }
    return n+tri(n-1)
}
tri(300) //45150

###尾随递归

func ttri(n:Int, acc:Int=0)->Int {
    if n<1 {
        return acc
    }
    return ttri(n-1,acc:acc+n)
}
ttri(300) //45150

• 尾随递归就是递归函数里不进行计算工作，只是进行调用，然而swift编译器并不能优化某些尾随递归，比如上面这个

###连续传递风格CPS

func triCont(n: Int, cont: Int -> Int) -> Int {
    return n <= 1 ? cont(1) : triCont(n-1) { r in cont(r+n) } 
}

func id<A> (x: A) -> A{ return x }

triCont(10, cont: id) // 55

• 连续传递风格下，递归函数要么返回下一次要执行的函数，要么返回一个最终结果的标识。随着函数的调用cont在不断记录累加值，cont可以看成一种特别的数据在不断地被传递到下一个调用。

###Trampoline

enum Result<A>{
    case Done(A)
    case Call(()->Result<A>)
}

func tritr(n:Int)->Int {
    func ttri(n:Int, acc:Int=0)->Result<Int> {
        if n<1 {
            return .Done(acc)
        }
        return .Call({
            ()->Result<Int> in
                return ttri(n-1,acc: acc+n)
        })
    }

    // Trampoline section
    let acc = 0
    var res = ttri(n,acc:acc)

    while true {
        switch res {
            case let .Done(accu):
                return accu
            case let .Call(f):
                res = f()
        }
    }
}

tritr(30000000)

• 这里用枚举来标识返回的两种不同结果，思想就是上面的CPS