文件名称：InDependent:一种渐进的、依赖类型的语言
文件大小：14KB
文件格式：ZIP
更新时间：2021-06-21 08:37:03
Haskell ＃独立的 该项目旨在开发一种渐进的、依赖类型的语言，作为这种系统有用性的概念证明。 在目前的状态下，它通过将依赖类型的 lambda 演算与 JavaScript（一种常见的动态类型语言）交织在一起来实现这一点。 Adrej Bauer 的帖子介绍了内部架构的许多部分： ://math.andrej.com/2012/11/08/how-to-implement-dependent-type-theory-i/。 请注意，该项目仍在进行中，可能会包含错误或随时更改。 ＃＃句法： InDependent 中的有效语句具有以下形式之一： --comments are any line that starts with two dashes (--) 要将值绑定到 a，我们使用以下语句。 InDependent 中的绑定是不可变的，因此变量只能绑定一次。 a =
【文件预览】：
InDependent-master
----.gitignore(8B)
----DependentLambda.hs(9KB)
----DependentLambdaParser.hs(3KB)
----inde.js(1KB)
----InDeCompiler.hs(3KB)
----InDependent.hs(3KB)
----test.inde(1KB)
----JSWriter.hs(3KB)
----README.md(4KB)
----InDependentToJs.hs(5KB)
----InDependentParser.hs(3KB)
----Errors.hs(736B)