蹦床函数在函数组合中主要解决深度嵌套调用引发的栈溢出问题，它将“立即求值”的组合链转为“延迟展开+循环驱动”的安全执行模式，要求递归函数返回thunk并由trampoline统一解包执行。
蹦床函数在函数组合中主要解决深度嵌套调用引发的栈溢出问题，尤其当多个高阶函数（如 map、filter、reduce 或自定义递归组合器）链式串联时，执行过程可能隐含深层递归。它不改变组合逻辑，而是把“立即求值”的组合链，转为“延迟展开+循环驱动”的安全执行模式。
为什么函数组合需要蹦床支持
函数组合（如 f ∘ g ∘ h）本质是嵌套调用：f(g(h(x)))。若其中任一函数内部使用递归（比如一个递归版的 flatten 或树遍历 fold），组合后会放大调用深度。JavaScript 和 Python 默认不优化尾调用，连续组合多个递归函数极易触发 RangeError 或 RecursionError。蹦床在此处不是替代组合本身，而是为组合后的“执行阶段”提供栈安全的求值机制。
组合前先改造递归函数为 thunk 返回形式
关键前提是：参与组合的递归函数必须返回 thunk（即 () => nextStep），而非直接递归调用。例如实现一个安全的组合式列表扁平化：
- 普通递归
flatten会爆栈：flatten([[1, [2]], 3])深层嵌套时失败 - 改造后返回 thunk：
function flatten(xs) { return xs.reduce((acc, x) => Array.isArray(x) ? () => flatten(acc.concat(x)) : acc.concat(x), []); } - 注意：此处 reduce 的回调不能直接调用
flatten(...)，必须包裹为函数；且整个flatten最终需返回一个可被蹦床解包的 thunk 链
将蹦床作为组合链的“执行守门员”
组合本身仍用标准方式（如 compose(f, g, h)），但最终执行时不直接调用，而是交由蹦床处理：
- 定义组合器：
const compose = (...fns) => x => fns.reduceRight((acc, fn) => fn(acc), x); - 构造安全组合：
const safeFlattenThenDouble = compose(trampoline, x => () => flatten(x), x => x.map(n => n * 2)); - 调用：
safeFlattenThenDouble([[1,[2, [3]]], 4]);—— 此时trampoline承担外层循环，逐层解包 thunk，栈深恒定 - 更常见写法是组合后统一包裹：
trampoline(() => compose(flatten, double)(input))，确保入口是 thunk
与柯里化、自动展开的协同使用
实际工程中，蹦床常与柯里化配合，让组合接口更自然：
- 柯里化使函数易于组合（如
map(fn)(list)），而蹦床保障其执行安全 - 可封装带蹦床的组合工具：
const safeCompose = (...fns) => x => trampoline(() => fns.reduceRight((acc, fn) => fn(acc), x)); - 注意：所有中间函数若含递归，都必须已按 thunk 规范改造；否则蹦床无法识别，会提前退出循环
