我对clojure的循环/递归蹦床进行了广义化,以便可以与间接递归一起使用：

const trampoline = f => (...args) => {
  let acc = f(...args);
  while (acc && acc.type === recur) {
    let [f,...args_] = acc.args;
    acc = f(...args_);
  }
  return acc;
};
const recur = (...args) =>
  ({type: recur,args});
const even = n =>
  n === 0
    ? true
    : recur(odd,n - 1);
const odd = n =>
  n === 0
    ? false
    : recur(even,n - 1);
console.log(
  trampoline(even) (1e5 + 1)); // false

但是,我必须在通话侧明确给蹦床打电话.有没有办法像循环/递归那样再次使其隐式？

顺便说一句,这是循环/重复：

const loop = f => {
  let acc = f();
  while (acc && acc.type === recur)
    acc = f(...acc.args);
  return acc;
};
const recur = (...args) =>
  ({type: recur,args});