Haskell GHC 运行时深度工程实战:从 STG 机器、惰性求值图重写到 RTS 调度与低延迟 GC 拆解 GHC 的 STG(Spineless Tagless G-machine)抽象机如何把惰性求值实现为带原地更新的图重写,Core→STG→Cmm 编译流水线、Blackhole 并发语义、Capability 与 work-stealing 调度、分代复制式 GC 的延迟边界,以及空间泄漏的三板斧定位手法与生产 RTS 参数清单。 AI应用开发 2026年10月01日 0 点赞 0 评论 4 浏览