我在这里看到一些有关静态类型与动态类型的有趣讨论。由于编译类型检查，更好的文档代码等，我通常更喜欢静态类型。但是，我同意，例如，如果采用Java的方式，它们会使代码混乱。
因此，我将开始构建自己的功能样式语言，而类型推断是我要实现的事情之一。我确实知道这是一个很大的主题，并且我不尝试创建以前没有做过的事情，只是进行基本推理...
关于如何阅读的任何指示都可以帮助我解决这个问题？最好是一些比较实用/实用的东西，而不是更多的理论范畴论/类型理论课本。如果那里有一个实施讨论文本，以及数据结构/算法，那将是很可爱的。
我在这里看到一些有关静态类型与动态类型的有趣讨论。由于编译类型检查，更好的文档代码等，我通常更喜欢静态类型。但是，我同意它们这样做...
我发现以下资源有助于以递增的顺序理解类型推断：
不幸的是，有关该主题的许多文献都非常密集。我也是在你的鞋子。我从“编程语言：应用程序和解释”中对该主题进行了首次介绍
除了Hindley Milner的函数式语言外，另一个动态语言类型推断的流行方法是abstract interpretation。
Benjamin C. Pierce的类型和编程语言
Lambda Ultimate，从context开始。