文件名称：InDependent:一种渐进的、依赖类型的语言
文件大小：14KB
文件格式：ZIP
更新时间：2024-07-11 02:23:43
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)