stackist:堆栈编程语言的探索。 Joy 的新实现

时间:2024-06-25 02:32:09
【文件属性】:

文件名称:stackist:堆栈编程语言的探索。 Joy 的新实现

文件大小:13KB

文件格式:ZIP

更新时间:2024-06-25 02:32:09

Haskell

Stackist:一种基于堆栈的编程语言和运行时 stackist是一系列构建基于堆栈的编程语言的实验,从 Manfred von Thun 的 Joy 语言开始。 我今天所拥有的: 算术语言的基本解释器。 文字 运营商 一个基本的标准库 报价单 大多数碱基组合器 具体语法已完成并可通过 main 获得。 我接下来要做的工作: 聚合体 所有组合器(primrec、linrec、binrec、fold、ifte) 关键:验证我的堆栈语义与 von Thun 的一致。 更多 stdlib(处理这个列表: : ) 命名函数 输入/输出 堆栈运算符(newstack、clear、stack、cons、swons、uncons、unswons) 未来发展方向: 记录 Joy 的类型系统 我们可以用 System F 的片段编码 Joy 吗? (等级 2?) 适用于所有原版


【文件预览】:
stackist-master
----Setup.hs(45B)
----stackist.cabal(1KB)
----src()
--------Main.hs(500B)
--------Stackist()
----.travis.yml(18B)
----LICENSE(11KB)
----README.md(1KB)
----docs()
--------thoughts_on_fold.md(1KB)
----tests()
--------doctests.hs(773B)
--------1.joy(6B)
----.gitignore(59B)

网友评论