【文件属性】：
文件名称：PL:具有匿名函数、求和、乘积和联合的结构类型函数式编程语言
文件大小：630KB
文件格式：ZIP
更新时间：2021-05-31 07:58:52
programming-language haskell Shell
PL - 实验
这个 monorepo 将几个组件收集到一个编程语言中，它根据我的心血来潮慢慢发展。
它目前是一种编程语言，具有匿名函数和递归类型、、和。 类型可以在表达式级别传递，类型函数可以在类型级别存在。 通过计算它们被绑定的距离来引用变量。 表达式和类型可以通过其内容的明确哈希前缀来引用。
存在一个终端 UI 来解析、减少、类型检查、评估和打印表达式。
还有一个 JavaScript 转译的 。
它渴望成为：
：所有计算必须终止或取得“进展”
: 代码可以透明地移动到新位置
：代码是不可变的，并由它的 SHA 而不是一个移动名称来标识
并具有语义。
这里可以使用和项目。
在可以/应该使用现成的库来解决问题的地方，由于学习/乐趣优先于开发时间和功能完整性，因此产生了一个新的子项目。 一些子组件是：
：可逆语法用于从单个语法定义生成解析器和打印机。
: Ap
【文件预览】：
PL-master
----Reversible()
----Grammar()
----Parser()
----Editor()
----Label()
----Lispy()
----Printer()
----.gitmodules(1KB)
----DSL-Compose()
----Store()
----README.md(29KB)
----script()
--------pl(28B)
--------build-js(364B)
--------build(91B)
--------install(28B)
--------generate-dep-graph(242B)
--------repl-record(259B)
--------test(52B)
--------watch-build-test(154B)
----Hash()
----DHT()
----docs()
--------index.html(11KB)
--------lib.js(173KB)
--------out.js(3.62MB)
--------rts.js(489KB)
--------runmain.js(31B)
--------repl.html(305B)
----Repl()
----stack.yaml(905B)
----Core()