文件名称：typeinfer:OCaml 中的类型推断
文件大小：66KB
文件格式：ZIP
更新时间：2024-07-09 02:06:10
TeX
算法介绍 这是什么？ 一本解释书，包括 OCaml 及其理论对 Hindley-Milner 类型推断算法的实现。它在 Comic Market 81 发行。 如果您发现任何错误 在 GitHub 上注册问题跟踪器。 联系信息 如果有的话，下面 推特号：@pi8027
【文件预览】：
typeinfer-master
----.gitignore(32B)
----README.mkd(401B)
----slide()
--------OMakefile(34B)
--------2011-09-16()
--------2011-12-21()
----src()
--------ocaml()
--------OMakefile(18B)
----OMakefile(34B)
----OMakeroot(70B)
----report()
--------graph.dot(2KB)
--------OMakefile(327B)
--------report.bib(183B)
--------report.tex(8KB)
----book()
--------main.tex(2KB)
--------lambda.tex(41KB)
--------layout.tex(165B)
--------OMakefile(838B)
--------proof.sty(9KB)
--------typeinfer-stlc.tex(37KB)
--------TTGen.hs(8KB)
--------preface.tex(6KB)
--------cover.tex(515B)
--------postface.tex(1KB)
--------typeinfer-poly.tex(37KB)
--------design.sty(3KB)
--------main-draft.tex(39B)
--------main-final.tex(39B)
--------colophon.tex(828B)