咖喱形式的递归函数可以是尾递归吗？

Question

给定以下递归map函数：

 const U = f => f(f); const map = f => U(h => acc => ([head, ...tail]) => head === undefined ? acc : h(h)([...acc, f(head)])(tail))([]); const xs = [1,2,3,4,5]; console.log(map(x => x * x)([1,2,3,4,5])); 

显然，递归调用h(h)并不是递归函数的最后动作。 但是，当展开堆栈时，发生的所有事情都是返回完成的累加器，而没有任何进一步的更改或操作。 map是否符合我的期望尾部递归？

Answer 1

递归调用h(h)不是递归函数的最后一个动作

h(h)不是递归调用。 …(tail)是递归调用，是的，它处于尾部位置。

如果您丢弃过于复杂的U组合器（或至少立即使用Y组合器），则可能会变得更加明显：

const map = f => {
  const mapF = acc => ([head, ...tail]) => head === undefined
    ? acc
    : mapF([...acc, f(head)])(tail);
  return mapF([]);
};