atomicModifyIORef为何引发内存泄漏？atomicModifyIORef'如何解决？

1. 示例代码为何产生内存泄漏？ #

atomicModifyIORef 是惰性求值的——它不会强制计算传入函数返回的元组中的新IORef值（第一个元素），而是直接将这个未求值的计算块（thunk）存入IORef。

在给出的示例中：

ref <- newIORef '1'
forever $ atomicModifyIORef ref (\_ -> ('2', ()))

每次循环调用 atomicModifyIORef 时，都会生成一个新的thunk（尽管这个thunk的计算结果永远是'2'），并将其替换为IORef的当前值。由于没有任何代码去读取IORef的值（也就不会触发thunk的求值），这些不断生成的未求值thunk会持续占用内存，无法被垃圾回收，最终导致内存泄漏。

2. 使用 atomicModifyIORef' 为何能避免泄漏？ #

atomicModifyIORef' 是 atomicModifyIORef 的严格求值版本，它会在将新值存入IORef之前，强制求值元组中的新IORef值。

在示例中替换成 atomicModifyIORef' 后，每次循环都会直接计算出'2'这个显式值，再存入IORef，而不是存储未求值的thunk。这样就不会有大量未计算的thunk累积在内存中，垃圾回收可以正常清理不再使用的资源，从而避免了内存泄漏。

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