zoezz

Haskell forall：写给小白的记录类型推断指南

作者以教学为目的，详细推导了静态类型语言中匿名记录的类型推断过程。文章从基础表达式、字段访问、变量到函数，逐步引入类型理论和 Haskell 代码实现。 重点讨论了行多态（Row Polymorphism）如何解决 TypeScript 等语言在处理记录扩展时的类型定义难题，并结合作者开发 Nix 语言类型检查器的实践经验进行说明。