Kann eine rekursive Funktion in Curry-Form tail rekursiv sein?

Question

Gegeben ist die folgende rekursive map Funktion:

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]));

Offensichtlich h(h) der rekursive Aufruf nicht die letzte Aktion der rekursiven Funktion ist. Aber wenn der Stapel abgewickelt wird, geschieht alles, was passiert, dass der fertige Akkumulator ohne weitere Änderungen oder Operationen zurückgegeben wird. Ist map entgegen meiner Erwartungen tail rekursiv?

Answer 1

der rekursive Aufruf h(h) ist nicht die letzte Aktion der rekursiven Funktion

h(h) kein rekursiver Aufruf ist. Die …(tail) ist der rekursive Aufruf, und ja, es ist in einer Tail-Position.

Dies könnte deutlicher, wenn man fällt, dass overcomplicated U combinator (oder am wenigsten an den Y combinator sofort verwendet):

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