文件名称：GTLC:具有可变引用的渐进式 lambda 演算的解释器
文件大小：24KB
文件格式：ZIP
更新时间：2024-07-10 02:41:26
Haskell
gtlc 是一个在 Haskell 中实现的解释器，用于具有基本类型和可变引用的渐进式 lambda 演算，并使用 QuickCheck 进行测试。 该项目的主要目标是探索在 GTLC 中有效编译可变引用的想法。 ＃介绍 渐进类型化是一种在单一语言中集成静态和动态类型化的技术方法，它让程序员可以控制代码的哪些区域是静态类型化还是动态类型化，并使代码在两种类型化学科之间逐渐迁移。 [Siek, Jeremy G., et al. “渐进式打字的改进标准。”] 该项目仍在进行中，并基于以下论文的想法： Siek、Jeremy G. 和 Walid Taha。 “函数式语言的渐进式输入。” 方案和函数式编程研讨会。 卷。 6. 2006 年。 Siek、杰里米、罗纳德·加西亚和瓦利德·塔哈。 “探索高阶铸件的设计空间。” 编程语言和系统。 Springer Berlin Heidelb
【文件预览】：
GTLC-master
----Setup.hs(46B)
----src()
--------Main.hs(71B)
--------GTLC()
----gtlc.cabal(2KB)
----.travis.yml(767B)
----LICENSE(34KB)
----test()
--------Test.hs(7KB)
----README.md(2KB)
----.gitignore(133B)