文件名称：henk:纯类型系统语言-将henk 2000移植到megaparsec，非常漂亮
文件大小：19KB
文件格式：ZIP
更新时间：2024-05-23 19:28:31
Haskell
用于函数式编程的纯类型系统 参见 我们提出了一种基于纯类型系统（PTS）的函数式编程语言。 我们展示了如何通过使用代数数据类型，案例表达和定义扩展PTS框架来定义这种语言。 为了能够尝试使用我们的语言，我们提供了一种针对我们的语言的类型检查器和解释器的实现。 PTS非常适合用作功能性编程语言的基础，因为它们位于功能日益强大的类型系统层次结构的顶部。 existential types',等级n多态性和“从属类型”的概念在基于该层次结构中的系统的函数式编程语言中自然而然地出现。 不需要临时扩展来合并这些功能。 我们的语言的类型系统比Hindley-Milner系统更强大。 我们通过提供一些无法在Haskell中键入但可以用我们的语言键入的有意义的程序来说明这一事实。 这种程序的“真实世界”示例是通用Haskell函数的专业化到Haskell函数的映射。 与西蒙·佩顿·琼斯（Simon
【文件预览】：
henk-master
----prelude.henk(3KB)
----Henk()
--------Main.hs(6KB)
--------HenkTI.hs(6KB)
--------Classification.hs(3KB)
--------HenkTC.hs(11KB)
--------HenkParser.hs(8KB)
--------TermSupport.hs(12KB)
--------HenkAS.hs(1KB)
--------HenkPP.hs(7KB)
--------HenkInt.hs(7KB)
--------TypeSystems.hs(797B)
----henk.cabal(311B)
----README.md(2KB)
----stack.yaml(70B)
----prog.henk(2KB)