write-you-an-inference-in-fsharp:F＃中实现的不同类型的推理算法

用F＃给您一个推论 此仓库受该领域其他重要资源的启发，但主要针对惯用且易于遵循的F＃代码。 话虽如此，类型推断算法并不是最容易理解的方法，但这将是描述不同类型和进行类型推断的方法的地方。 该算法分为纯的和可变的Hindley-Milner类型推断，以及对它的行多态性扩展。 欣德利·米尔纳（Hindley-Milner）推论 行多态性的Hindley-Milner推论 此回购源于我正在尝试使用的一种小语言，以测试关于类型系统的各种想法，而在阅读有关n级类型的论文之一时，我发现以下内容是正确的： 考虑到有关类型系统的论文有多少，令人惊讶的是，很少有关于类型推断的文献明确地针对实现者。 如果您有任何建议或想做任何贡献，请提交PR，我很乐意提供新版本或改进！