Turbo Haskell：在 JVM 上 JIT 运行 GHC Core

核心要点

• GHC 仍负责解析、类型检查、脱糖与 Core 优化，THC 接手之后的部分，用自己的运行时在 GraalVM 上编译执行。
• 支持 Template Haskell 与 Linear Haskell 等高级特性，既能做 JIT，也能用 Native Image 做 AOT 编译产出可执行文件。
• 已经能编译 pandoc、happy、alex，甚至 GHC 自身；多库包与 Backpack 也受支持。
• 提供到 Python、Ruby、R、JavaScript 的多语言 FFI，Text 与 Truffle 字符串之间的转换对 UTF-8 是零拷贝。
• 热尾调用会变成循环；追踪模式下用 64 位布隆过滤器发现可能的递归尾调用，再靠慢路径把它接成紧循环。
• 性能在冷启动后大致处在“比 GHC 快 3 倍到慢 3 倍”之间，多数情况慢 10–20%，且近期为追覆盖率出现了约 10 倍回退。
• 运行时还支持压缩对象指针，用 32 位偏移表示堆引用，让更多数据留在缓存里。

金句

← 返回 Lobsters 首页