Haskell内存共享机制解析：斐波那契函数列表共享疑问

你的假设在单次fibo'调用内部是成立的，但不同fibo'调用之间当前代码无法实现共享，具体运作方式分两种情况说明：

一、单次调用内的共享：自动缓存，避免重复计算 #

你写的代码里，fibs是一个惰性求值的无限列表，Haskell的惰性机制会确保只有当值被实际需要时才会计算，且计算后的结果会被自动缓存（即内存共享）。

比如调用fibo' 5时：

• 计算f 5需要fibs !! 4和fibs !! 3，触发fibs的求值流程：
  • 先计算f 0得到1，缓存到fibs的第一个位置；
  • 计算f 1得到1，缓存到fibs的第二个位置；
  • 计算f 2时，直接取已缓存的fibs !! 1和fibs !! 0，相加得到2并缓存；
  • 以此类推，f 3、f 4都会复用前面已缓存的结果，不需要重新计算。
• 所有已求值的fibs元素会存在内存中，在本次调用里后续任何需要这些值的地方，都会直接引用缓存的结果，不会重复执行计算逻辑。

二、跨调用的共享：当前代码不支持，需调整绑定范围 #

当前代码里fibs是fibo'的局部绑定，每次调用fibo'都会生成一个全新的fibs列表，两次独立调用之间的缓存完全隔离。比如先调用fibo' 10，再调用fibo' 8，第二次调用会重新计算fibs的前8项，不会复用第一次的缓存。

如果想要让所有fibo'调用共享同一个fibs缓存，只需把fibs提升为顶层绑定：

fibs = [f x | x <- [0..]]
  where 
    f 0 = 1
    f 1 = 1
    f n = fibs !! (n-1) + fibs !! (n-2)

fibo' n = fibs !! n

这样fibs在程序运行期间只有一个实例，所有对fibo'的调用都会共享它的已求值部分，第一次调用计算出的结果，后续调用直接复用。

内存共享的核心原理 #

Haskell的内存共享本质是纯函数的引用透明性带来的：纯函数的输出仅依赖输入，因此可以安全地缓存计算结果。运行时会把未求值的表达式（thunk）替换为已计算的结果，所有指向该表达式的引用都会自动指向缓存的结果，从而实现内存共享，避免重复计算。

内容的提问来源于stack exchange，提问作者Ftyupl