纯函数式立即求值语言的GC可做哪些安全假设？相比JVM GC有何简化？

这个问题问到点子上了——和JVM GC要应付的各种复杂场景比起来，专为纯函数式、立即求值语言设计的GC能享受到不少因语言特性带来的“特权”，这些本质上都是基于语言本身的安全假设：

1. 对象一旦创建就完全不可变，引用关系永不改变 #

纯函数式语言里没有可变字段、可变数组这类东西，任何对象的内部结构和它指向的其他对象从出生起就固定死了。这对GC来说太友好了：

• 不需要处理写屏障（JVM里CMS、G1这些并发GC必备的机制），因为根本不会有应用线程修改对象的引用指向，标记阶段完全不用怕引用关系突然变化。
• 跨代引用的跟踪可以大幅简化：老年代的对象如果引用了年轻代对象，这个引用永远不会变，GC不需要持续监控这类引用的更新，分代回收的开销直接降下来。

2. 不存在非惰性的循环引用 #

在立即求值的纯函数式语言里，你没法构造出有实际意义的循环引用——要做A引用B、B引用A的循环，就得在创建A的时候引用还没创建的B，反之亦然，但立即求值要求所有表达式必须完全计算完毕才能被引用，这直接堵死了循环引用的生成路径（除非语言特意做了惰性递归绑定，但那已经偏离纯立即求值的范畴了）。

• 这意味着引用计数算法可以直接用，不用再额外处理循环引用导致的内存泄漏问题（JVM里引用计数因为循环引用的问题根本没法做主GC算法）。
• 标记-清除/标记-整理算法也能省掉一部分循环依赖的遍历开销，虽然这类算法本身能处理循环，但少了这种场景，标记阶段的逻辑可以更简洁。

3. 没有可变全局状态，对象的可达性完全可预测 #

纯函数式语言里不存在全局可变变量，所有的引用传递都严格跟着函数调用链和闭包捕获的变量走。GC可以安全假设：

• 只要一个对象没有被当前调用栈上的变量、或者存活闭包捕获的变量引用，它就绝对不会再被任何代码访问到——不会有某个后续操作突然把一个可变指针指向它，所以可以放心回收。
• 逃逸分析的复杂度大幅降低：因为没有可变状态，对象是否逃逸出函数作用域是静态可确定的，GC甚至可以提前在编译期就做很多内存分配优化，比如把一些小对象直接分配在栈上（JVM的逃逸分析经常因为可变状态的存在而失效）。

4. 不需要处理Finalizer/析构函数这类副作用逻辑 #

纯函数式语言里的资源管理（比如文件句柄、网络连接）通常是通过显式的monad或者线性类型来处理的，根本不需要依赖GC来运行带有副作用的析构函数。而JVM里的Finalizer一直是GC的噩梦：

• 不用维护Finalizer队列，不用处理Finalizer线程的调度和优先级问题。
• 不会出现因为Finalizer执行缓慢导致的内存泄漏，也不用处理Finalizer复活对象的诡异场景。

5. 并发GC的实现难度骤降 #

因为没有可变状态和引用修改，GC的标记阶段可以和应用线程完全并发执行，不需要任何同步机制来协调引用变化。JVM里的并发GC需要在应用线程修改引用时插入写屏障，把修改记录下来，后续再重新标记这些区域；而纯函数式GC完全不用这一套，标记过程可以一路顺畅地走下去，停顿时间能压到极低。

内容的提问来源于stack exchange，提问作者w.brian