文件名称：pure:在OCaml中实现的纯类型系统
文件大小：18KB
文件格式：ZIP
更新时间：2024-04-01 10:07:14
OCaml
纯的 这是任意纯类型系统的解释器。 查看详细说明。 Pure使用双向类型检查，因此其键入规则与Wikipedia上列出的规则略有不同。 这是打字规则，其灵感来自《有关。 Oleg Grenrus在有关纯类型系统的双向类型检查的中。 我只是略读了一下，但我们似乎提出了几乎相同的规则集。 但是，他在探索这个想法上比我对Pure进行的研究更深入。 编译中 Pure使用 ，可以与opam install dune 。 要构建解释器，请运行dune build repl.exe ，并使用.pure文件作为参数在_build/default/repl.exe上运行生成的文件。 使用纯 每个.pure文件的顶部必须包含3个解释器编译指示： %SORTS ， %AXIOMS和%RULES 。 以系统F为例： %SORTS Type | Kind %AXIOMS Type : Kind %RULES
【文件预览】：
pure-master
----statics.ml(3KB)
----lang_parser.mli(297B)
----statics.mli(177B)
----dune(47B)
----dynamics.ml(4KB)
----lib()
--------combi()
----pure.ml(1KB)
----dune-project(16B)
----repl.ml(3KB)
----examples()
--------Fw+.pure(701B)
--------empty.pure(22B)
--------F.pure(513B)
--------coc.pure(4KB)
--------stlc.pure(188B)
--------U.pure(109B)
--------Fw.pure(1KB)
--------coc-unicode.pure(7KB)
----pure.mli(527B)
----README.md(3KB)
----.gitignore(31B)
----dynamics.mli(383B)
----prim_parser.ml(2KB)
----prim_parser.mli(680B)
----lang_parser.ml(2KB)