hindley-milner:宾夕法尼亚大学 CIS 194 的最终项目

欣德利米尔纳 宾夕法尼亚大学 CIS 194 的最终项目和 关于 该项目是Exp语言的 ML 风格的完整实现，是 [多态 lambda 演算] ( ) 的受限子集，也称为 System F. Infer模块包含 Damas 和 Milner算法 W的实现，它构成了许多现代函数式语言（包括 Haskell 和 ML 的所有方言）的类型推断的基础。 指示 要打印ghci中所有演示表达式的推断类型，请运行以下命令： > :l Demo > demoAll 否则，分别在Demo.hs和Infer.hs定义的demo和typeOf函数允许您推断任意表达式的类型。 结构 Exp.hs – Exp语言的定义 Types.hs – 类型系统的定义 Infer.hs - 类型推断的实现 Demo.hs – 一些可以尝试的表达式！ 我们学到了什么 为了完成这个项目，我们学习了大量关于类型理论的知识。