文件名称：hs-inferno:通用的基于统一的类型推断库
文件大小：54KB
文件格式：ZIP
更新时间：2024-06-24 19:29:37
Haskell
从 OCaml 到 Haskell 的 Francois Pottier 的地狱图书馆的一个端口。 有关更多信息，请参阅。 这种对世界上最好的命令式编程语言的翻译（到目前为止）是相当忠实的。 核心 ML 的示例位于文件。 该文件使用该库来实现论文中描述的类型推断器。 一个稍微不同的示例详细说明了一种带有可选类型注释的语言。 之所以叫 G，是因为那是 F 后面的字母。 库的接口包含在和。 对象语言类型的要求相当小： 这个接口最重要的部分是它需要定义一个浅类型。 这种浅层类型必须是 Typeable、Traversable 和 Foldable 类的一个实例，以及一个名为ZipM的新ZipM 。 最后一个类比较两种浅类型，如果它们不同则抛出异常。 精化器的输出类型也必须是Output类型类的成员。 观察 我非常努力地从 OCaml 到 Haskell 做出最直白的翻译。 这意味着
【文件预览】：
hs-inferno-master
----.gitignore(152B)
----Setup.hs(46B)
----src()
--------Control()
--------Language()
----LICENSE(1KB)
----README.md(4KB)
----hs-inferno.cabal(2KB)
----test()
--------ML.hs(329B)
--------F.hs(911B)
--------G.hs(11KB)
--------Client.hs(5KB)