📚 Reference

📜 Chapter

‣

BST (Binary Search Tree)

TCO (Tail Call Optimization)

• TCO
• Tail Call Optimization
• JavaScript 명세(ES6)에 TCO(Tail Call Optimization)가 포함된 지 꽤 오랜 시간이 흘렀지만 사실상 Safari(WebKit)를 제외한 나머지 주요 브라우저 엔진(V8, SpiderMonkey 등)은 이 기능을 구현하지 않거나 포기한 상태이다.

TCO가 외면받는 주요 이유

• 이론적으로는 스택 프레임을 재사용해서 메모리를 아끼는 좋은 기능이지만, 브라우저 제조사들은 다음과 같은 우려를 하고 있다.
• 디버깅의 어려움: 스택 프레임이 사라지기 때문에, 에러가 발생했을 때 어디를 거쳐왔는지 보여주는 Error Stack Trace가 유실된다. 개발자 입장에서는 "범인"을 찾기 힘들어진다.
• 구현의 복잡도: V8 엔진 팀은 TCO를 구현했을 때 얻는 이득보다, 그로 인해 복잡해지는 코드 관리와 성능 최적화의 난이도가 더 높다고 판단했다.

TCO 없이 재귀를 안전하게 쓰는 법 (Trampoline)

• TCO가 안 된다고 재귀를 포기할 순 없다. Stack Overflow를 피하기 위해 JavaScript 개발자들은 보통 Trampoline 기법을 사용한다.
• 함수를 바로 실행하는 게 아니라, 함수를 반환하게 해서 while 루프 안에서 하나씩 꺼내 쓰는 방식이다.

// 트램펄린 함수 예시
const trampoline = fn => (...args) => {
  let result = fn(...args);
  while (typeof result === 'function') {
    result = result();
  }
  return result;
};

// 팩토리얼 예시
const factorialFn = (n, acc = 1) => {
  if (n <= 1) return acc;
  return () => factorialFn(n - 1, n * acc); // 함수 자체를 반환
};

const safeFactorial = trampoline(factorialFn);
console.log(safeFactorial(100000)); // 스택 오버플로우 없이 계산 가능