Может ли рекурсивная функция в карри форме быть хвостом рекурсивным?

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) не последнее действие рекурсивной функции. Но когда стек размотан, все, что происходит, - это то, что готовый аккумулятор возвращается без каких-либо дальнейших изменений или операций. Is 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([]); 
};