重写 Futhark 类型检查器：从简单遍历到约束求解的进化

来源：futhark-lang.org — 2026-07-21

Futhark 语言从最初只有标量、数组和元组的简单类型系统，逐步加入了记录类型、ML 风格模块系统、高阶函数和 Hindley-Milner 类型推断。原有自顶向下单次遍历的简单类型检查器无法应对这些特性，作者正在进行一次大规模重构，将类型检查改为基于约束求解的现代设计。

🔑 核心要点

我们当时真的不理解正确检查原地更新安全性有多复杂，所以那种简单可能只是幻觉——但那时候我们很开心。