主要观点：作者开发的 Garnet 语言旨在成为简单的 Rust，目标是用于低级编程，注重可移植性和健壮性。2024 年在类型检查器工作方面取得了多项进展，包括使单态化部分工作、阅读相关书籍、实验不同类型检查器方法、使常量传播工作等，还计划编写新的类型检查器。类型检查器工作虽带来一些成果，但也花费了大量时间，且后续优化和代码生成仍有挑战。文中还讨论了高阶类型（HKT）的引入及其好处（如实现一些有趣想法、解决 Rust 中的困惑等）和缺点（实现、单态化、类型推断等方面的问题），以及借贷检查的现状和未来规划，同时分享了一些编译器工程方面的经验教训，如中间层 IR 的作用、访客模式的优点、推迟后端开发等，并得出结论。

关键信息：

• 2024 年在 Garnet 语言的类型检查器方面取得了一系列进展，包括实验不同方法和使某些功能工作。
• 计划编写新的类型检查器 #4。
• 引入 HKT 有好处也有缺点，如可实现一些想法但实现和类型推断等方面有挑战。
• Garnet 的借贷检查初始阶段较简单，有一些待改进之处。
• 编译器工程方面的经验教训，如中间层 IR 的作用、访客模式的优点等。

重要细节：

• 购买并阅读《Types And Programming Languages》对类型检查器工作有很大帮助。
• 实现 HKT 后可解决一些 Rust 中存在的问题，如减少重复的函数定义。
• Garnet 初始借贷检查限制数据元素不包含引用，短期用不安全代码处理某些功能，长期可能发展为完整的借贷检查器。
• 中间层 IR 有助于编译器的修改和扩展，访客模式在遍历 AST 时很有效，推迟后端开发可避免重复工作等。