我想实现 Hindley-Milner 类型推断，但作为一个根本不了解类型理论的非学术人士，我对所有不同的算法及其属性、论文对论文的依赖以及所有内容感到有点不知所措我必须学习的新概念。
我正在寻找一种算法或一些算法，它们在它可以生成的错误消息方面脱颖而出（算法 W 和算法 M 不擅长的东西）。
任何人都可以向我指出任何有用的资源，或者向我解释我应该在算法中寻找什么，以确定它是否有利于生成错误消息，或两者兼而有之？
注意：如果它可以支持更高种类的类型会很好，但这不是一个直接的要求。
我想实现 Hindley-Milner 类型推断，但作为一个根本不了解类型理论的非学术人士，我对所有不同的算法及其属性、论文对论文的依赖以及所有内容感到有点不知所措我必须学习的新概念。
我正在寻找一种算法或一些算法，它们在它可以生成的错误消息方面脱颖而出（算法 W 和算法 M 不擅长的东西）。
任何人都可以向我指出任何有用的资源，或者向我解释我应该在算法中寻找什么，以确定它是否有利于生成错误消息，或两者兼而有之？
注意：如果它可以支持更高种类的类型会很好，但这不是一个直接的要求。