文件名称：simple-sub:代数子类型化的替代算法
文件大小：129KB
文件格式：ZIP
更新时间：2024-05-04 15:43:51
Scala
代数分型的简单子算法 该存储库展示了Simple-sub的实现， Simple-sub是MLsub的另一种算法，用于基于代数子类型的类型推断。 此处提供在线演示： : 可以在此处下载相应的ICFP Pearl纸预印本： : 分行 ICFP分支机构（供后代使用） 可以在分支mlsub-compare找到与上述ICFP论文完全对应的代码，该分支还包含用于编译MLsub和针对它进行系统测试Simple-sub的指令（在随机生成的表达式上）。 主分支（当前开发） 当前的master分支包含较新的更改，包括： 类型规范化算法，用于合并递归类型，例如let rec r = fun a -> r in if true then r else r (⊤ -> 'a) as 'a let rec r = fun a -> r in if true then r else r推断出的类型，
【文件预览】：
simple-sub-master
----.gitignore(126B)
----.scala-steward.conf(88B)
----project()
--------plugins.sbt(192B)
--------build.properties(18B)
----bin()
--------simple-algebraic-subtyping-opt.js(366KB)
----LICENSE(1KB)
----js()
--------src()
----notes()
--------interpretation-of-as-types.txt(3KB)
----.github()
--------workflows()
----README.md(2KB)
----index.html(1KB)
----shared()
--------src()
----index.css(1KB)
----build.sbt(1KB)