问类型推理机haskell

EN

关于这个问题的一个很好的参考是马克琼斯的“Haskell in Haskell”。有一个标价版本转录由克里斯做，以及原版。此外，类型和编程语言还解释了经典算法W(底层Haskell和ML样式类型推断)，并证明了其正确性。

请记住，类型推断作为一个问题，在很大程度上取决于您正在键入的源语言，语言级别上的小变化对语言有很大影响。例如：

• 你已经泛化了吗？
• 类型类？
• 一种价值或一种形式的限制？
• 任何类型的模块？

回答“是”或“否”这些问题将极大地改变您的类型推理算法。但是，在你的问题中需要更多的信息才能给你提供更多的具体资源。

在Haskell中键入Haskell时，也不会尝试处理真正的编译器可能需要处理的问题，比如生成一个带有注释的AST版本，以便将来的编译传递知道某些东西是如何键入的，而不仅仅是它是被键入的。如果您正在构建一个编译器，那么您几乎肯定会想要这样做。