js-读书笔记-函数式编程-蹦床原理

import _ from 'underScore'
import Utils from '../lib/utils.js'
// 递归和组合函数 conjoin Disjoin
// 蹦床原理，蹦床展平
// 解决深度嵌套递归调用导致的栈溢出
// 通过部分应用函数返回一个待调用函数，来延迟调用，从而避免栈溢出。
function evenOline(n) {
  if(n === 0) {
    return true
  } else {
    return Utils.partial(oddOline, Math.abs(n) - 1)
  }
}

function oddOline(n) {
  if(n === 0) {
    return false
  } else {
    return Utils.partial(evenOline, Math.abs(n) - 1)
  }
}

console.log(evenOline(0))
console.log(oddOline(0))

// 手动铺平
console.log(evenOline(2))
console.log(evenOline(2)())
console.log(evenOline(2)()())

console.log(oddOline(2))
console.log(oddOline(2)())
console.log(oddOline(2)()())

// 自动铺平

function trampoline(fun, ...args) {
  let ret = fun.apply(fun, args)
  while(_.isFunction(ret)) {
    ret = ret()
  }
  return ret
}

console.log(trampoline(oddOline, 3))
console.log(trampoline(evenOline, 200000))
console.log(trampoline(oddOline, 300000))

// console.log(trampoline(evenOline, 200000000))

// 由于调用链的关系，使用蹦床增加了相互递归函数的一些开销，但慢总比溢出好。

// 隐藏实现写法

function isEvenSafe(n) {
  if(n === 0) {
    return true
  } else {
    return trampoline(Utils.partial(oddOline, Math.abs(n) - 1))
  }
}

function isOddSafe(n) {
  if(n === 0) {
    return false
  } else {
    return trampoline(Utils.partial(evenOline, Math.abs(n) - 1))
  }
}

console.log(
  isEvenSafe(2000),
  isOddSafe(2000)
)