文件名称：type-inference:统一和类型推断算法
文件大小：54KB
文件格式：ZIP
更新时间：2024-07-13 07:35:54
Haskell
类型推断 该软件包包含三种统一算法（用于*理论、阿贝尔群和高阶模式统一）和两种类型推理算法（用于 Hindley-Milner 类型系统和 Kennedy 式度量单位）的文学 Haskell 实现。 它伴随着博士学位。 Adam Gundry 的论文“类型推断、Haskell 和依赖类型”。
【文件预览】：
type-inference-master
----.gitignore(53B)
----src()
--------Main.lhs(146B)
--------PatternUnify()
--------Common()
--------Units()
--------Milner()
----LICENSE(1KB)
----type-inference.cabal(2KB)
----README.md(422B)