文件名称：quantcs-impl:量化类约束的实现
文件大小：60KB
文件格式：ZIP
更新时间：2024-05-21 18:35:01
Haskell
量化类约束 该存储库提供了类型推断的原型实现，可转换为量化类约束的系统F，如Gert-Jan Bottu，Georgios Karachalias，Tom Schrijvers，Bruno C.d的论文《量化类约束》中所述。 S. Oliveira和Philip Wadler。 经过GHC 8.4.3测试 内容 该实现分为三个目录： Frontend ， Backend和Utils 。 最重要的模块如下： 前端 HsTypes.hs ：源语言抽象语法。 HsParser.hs ：一个简单的解析器。 HsRenamer.hs ：重命名器。 HsTypeChecker.hs ：转换为系统F的类型推断算法，如本文所述。 Conditions.hs ：无nonambig条件的实现，如本文所述。 后端 FcTypes.hs ：具有数据类型和递归let绑定的System F的抽象语法。
【文件预览】：
quantcs-impl-master
----Frontend()
--------HsTypes.hs(23KB)
--------Conditions.hs(2KB)
--------HsParser.hs(8KB)
--------HsTypeChecker.hs(46KB)
--------HsRenamer.hs(13KB)
----Backend()
--------FcTypes.hs(12KB)
--------FcTypeChecker.hs(9KB)
----LICENSE(1KB)
----Setup.hs(46B)
----Tests()
--------Test4.hs(703B)
--------Test2.hs(603B)
--------TestSteve.hs(3KB)
--------Test3.hs(1KB)
--------Test1.hs(1KB)
--------TestsBackup.hs(5KB)
--------Test5.hs(1KB)
----README.md(2KB)
----ChangeLog.md(111B)
----Main.hs(2KB)
----quantcs.cabal(1012B)
----Utils()
--------Trace.hs(641B)
--------SnocList.hs(6KB)
--------Substitution.hs(14KB)
--------FreeVars.hs(811B)
--------Utils.hs(551B)
--------Errors.hs(257B)
--------AssocList.hs(2KB)
--------Kind.hs(759B)
--------Var.hs(7KB)
--------Unique.hs(11KB)
--------ListT.hs(5KB)
--------Ctx.hs(4KB)
--------Annotated.hs(1KB)
--------PrettyPrint.hs(8KB)