uniqueness-types

这篇博客文章详细介绍了Futhark类型检查器的演变和最近的重构，从简单的类型检查器到Hindley-Milner推理，以及添加独特类型和大小类型等特性的复杂性。