为何ZIO Ref的get调用可避免斐波那契函数栈溢出？

一、memo.get为什么是必要的？ #

ZIO的异步非阻塞调度依赖调度触发点来管理调用栈。memo.get作为对Ref的读取操作，会触发ZIO的调度逻辑：执行到这里时，ZIO会将当前计算挂起，由调度器重新安排后续代码执行，这个过程会主动释放当前的调用栈帧，避免栈帧持续累积。

在你的代码里，compute方法每次递归前调用memo.get，相当于给ZIO一个栈释放的机会，让它清空之前的栈帧后再执行后续的fib(num-1)和fib(num-2)，从而防止栈溢出。

二、缺少memo.get时栈溢出的原因？ #

注释掉memo.get后，compute方法内的代码变成了连续的同步flatMap调用：

for {
  a1 <- fib(num - 1, memo)
  a2 <- fib(num - 2, memo)
} yield a1 + a2

此时整个递归调用链没有任何异步调度点，ZIO无法触发栈展开。以计算fib(9)为例，调用链会持续嵌套：
fib(9) → compute(9) → fib(8) → compute(8) → ... → fib(1)

每一步flatMap都会在当前JVM栈帧上叠加新的调用，当递归深度超过JVM默认栈大小限制时，就会触发StackOverflowError。

而保留memo.get时，每次执行该调用都会触发栈释放，栈深度不会持续累积，代码就能正常运行。

内容的提问来源于stack exchange，提问作者rogue-one