为Damas-Hindley-Milner类型系统添加行多态 (bernsteinbear.com)

本文介绍了如何在Damas-Hindley-Milner（HM）类型系统中添加行多态。文章首先解释了记录和行的概念，以及如何在类型系统中表示它们。然后，文章详细讨论了如何推断记录字面量的类型，以及如何在模式匹配中处理记录。最后，文章解释了行统一的概念，以及如何使用let多态实现行多态。