why-dependent-types-matter:“为什么要依赖类型很重要”论文的配套代码

时间:2024-06-02 02:27:12
【文件属性】:

文件名称:why-dependent-types-matter:“为什么要依赖类型很重要”论文的配套代码

文件大小:17KB

文件格式:ZIP

更新时间:2024-06-02 02:27:12

Agda

为什么依赖类型很重要 重要信息:该存储库现在。 在Agda,Idris ans Haskell的同伴代码中,Thorsten Altenkirch,Conor McBride和James McKinna撰写了“为什么从属类型很重要”一文。 本文中的原始代码使用Epigram语言,该语言已不再维护甚至不可用。 因此,我重写了现代功能语言。 有关更多信息,请参见有关, 和博客文章。


【文件预览】:
why-dependent-types-matter-master
----WhyDependentTypesMatter.agda(16KB)
----WhyDependentTypesMatter.idr(15KB)
----.gitignore(81B)
----README.md(769B)
----WhyDependentTypesMatter.hs(15KB)

网友评论