curried形式の再帰関数は末尾再帰型にできますか？考える

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)は再帰呼び出しであり、はい、末尾にあります。

これは、あなたがそのovercomplicated Uコンビネータ（あるいは少なくともすぐにYコンビネータを使用）ドロップすると、より明白かもしれません：

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