主要观点：介绍了用于 Standard ML 及 ML 家族语言的 Damas-Hindley-Milner（HM）类型系统，添加了行多态性到其中，包括记录、行的概念及数据结构，记录字面量的推断、对记录的模式匹配、行的统一等方面，还提到了 let 多态性以及一些相关的论文和参考资料。
关键信息：

• HM 是一种类型系统，本文在此基础上添加行多态性。
• 记录是无序的名值映射集合，Scrapscript 中记录概念较动态。
• 行是名到类型的映射，有特殊的剩余字段，可嵌套。
• 数据结构有 TyEmptyRow 和 TyRow 表示行。
• 推断记录字面量时推断值的类型构建行。
• 模式匹配对记录的处理及与行的关联。
• 行的统一规则及相关示例。
• let 多态性在函数类型中的作用。
  重要细节：
• 模式匹配中若有展开操作会创建新的类型变量作为行的剩余部分。
• 行统一时根据不同情况处理缺失字段和剩余部分。
• 不同论文中对行的表示方式可能不同但等价。
• 提及一些相关的论文和 Scrapscript 的 PR 等。