文件名称：cicada-instars
文件大小：557KB
文件格式：ZIP
更新时间：2024-04-22 14:27:14
TypeScript
蝉星 内容 partech ：解析技术，用于CFG的DSL，常规CFG解析器。 lang0 ：无类型的lambda演算。 lang1 ：简单输入的lambda演算，自然数，Primitve递归组合器。 lang2 ：“小打字机”，“输入类型”，“递归”不是一个选项。 lang3 ：从属类型，标称代数数据类型，结构记录类型，类型输入，任意递归。 lang4 ：简单输入jojo，顺序演算。 lang5 ：无类型的jojo，无类型的jojo的等价理论（按占位符值和应用程序跟踪）。 参考 解析： CFG： ： Earley解析器： ： IXML： ：//homepages.cwi.nl/~steven/ixml Lambda演算： 系统T： ： 派： 球拍的实现： ： Haskell实施： ： 数学基础： 作者：弗拉基米尔·沃沃斯基（Vladimir V