Damas-Hindley-Milner型別推理演算法實現
摘要：
我正在尋找有關著名的Damas-Hindley-Milner演算法的資訊
做功能語言的型別推斷,特別是有關實現的資訊.
我已經知道如何做W演算法,但是我聽說過最近的基於約束生成器/求解器的新演算法,而不是通常的統一.然而,我無法找到關於這些新演算法的實現的任何討論.
...
我正在尋找有關著名的Damas-Hindley-Milner演算法的資訊
做功能語言的型別推斷,特別是有關實現的資訊.
我已經知道如何做W演算法,但是我聽說過最近的基於約束生成器/求解器的新演算法,而不是通常的統一.然而,我無法找到關於這些新演算法的實現的任何討論.
任何想法,我可以找到關於ML推理的一些細節資訊？
如果你對ML程式碼很滿意,找到這些東西的最好辦法就是簡單地研究一下野外實現.一個很好的參考實現是ofollow,noindex" target="_blank">HaMLet
,它被設計為更多的測試平臺而不是生產實現.
幾乎所有最近對這些問題的認真的討論都將在學術場合進行.可能感興趣的一篇論文是Generalising Hindley-Milner type inference algorithms .
此外,Pierce的“Types and Programming Languages ”中的各種型別系統(包括允許多型)的實現以及Appel的“Modern Compiler Implementation in ML ”與實現這一點的現代方法比演算法W的香草描述更為緊密.
http://stackoverflow.com/questions/3641967/damas-hindley-milner-type-inference-algorithm-implementation