lambda:lambda演算解释器

上传者: 42175971 | 上传时间: 2023-01-17 17:32:04 | 文件大小: 157KB | 文件类型: ZIP
C++
lambda演算解释器 什么: 用C ++编写的小型lambda演算解释器。 它支持α转换和β减少,以及精确跟踪替换和重命名的输出。 如何: 支持标准的lambda演算语法,例如: (λz.(((λx.(λy.x)) z) ((λx.(λy.x)) z))) 请注意,变量名称可以是多字符,因此必须用空格分隔。 支持用于多参数函数的语法糖: λx y.x == λx.λy.x 还支持Haskell风格的lambda语法,因为没有人知道如何键入λ: \x y -> x == \x -> \y -> x 还支持let绑定: let S = \x y z -> x z (y z) let K = \x y -> x let I = \x -> x S K K == I 如果使用了FLAG_VAR_REPLACEMENT标志(与:v切换),则解释器将尝试通过使用alpha等效性FLAG_

文件下载

资源详情

[{"title":"( 26 个子文件 157KB ) lambda:lambda演算解释器","children":[{"title":"lambda-master","children":[{"title":"LICENSE <span style='color:#111;'> 11.04KB </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 207B </span>","children":null,"spread":false},{"title":"lib","children":[{"title":"ski.lc <span style='color:#111;'> 156B </span>","children":null,"spread":false},{"title":"num.lc <span style='color:#111;'> 326B </span>","children":null,"spread":false},{"title":"bool.lc <span style='color:#111;'> 123B </span>","children":null,"spread":false}],"spread":true},{"title":"Makefile <span style='color:#111;'> 1.69KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 2.49KB </span>","children":null,"spread":false},{"title":"source","children":[{"title":"parser.cpp <span style='color:#111;'> 8.70KB </span>","children":null,"spread":false},{"title":"eval.cpp <span style='color:#111;'> 6.40KB </span>","children":null,"spread":false},{"title":"lexer.cpp <span style='color:#111;'> 3.91KB </span>","children":null,"spread":false},{"title":"util.cpp <span style='color:#111;'> 6.00KB </span>","children":null,"spread":false},{"title":"repl.cpp <span style='color:#111;'> 3.97KB </span>","children":null,"spread":false},{"title":"include","children":[{"title":"precompile.h <span style='color:#111;'> 297B </span>","children":null,"spread":false},{"title":"result.h <span style='color:#111;'> 6.21KB </span>","children":null,"spread":false},{"title":"ast.h <span style='color:#111;'> 2.66KB </span>","children":null,"spread":false},{"title":"defs.h <span style='color:#111;'> 2.38KB </span>","children":null,"spread":false}],"spread":true},{"title":"file.cpp <span style='color:#111;'> 2.89KB </span>","children":null,"spread":false},{"title":"highlight.cpp <span style='color:#111;'> 6.78KB </span>","children":null,"spread":false},{"title":"main.cpp <span style='color:#111;'> 1.40KB </span>","children":null,"spread":false}],"spread":true},{"title":"external","children":[{"title":"zpr.h <span style='color:#111;'> 62.91KB </span>","children":null,"spread":false},{"title":"utf8proc","children":[{"title":"utf8proc.h <span style='color:#111;'> 29.91KB </span>","children":null,"spread":false},{"title":"utf8proc_data.c <span style='color:#111;'> 1.56MB </span>","children":null,"spread":false},{"title":"LICENSE.md <span style='color:#111;'> 5.00KB </span>","children":null,"spread":false},{"title":"utf8proc.c <span style='color:#111;'> 29.66KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 4.05KB </span>","children":null,"spread":false}],"spread":true},{"title":"zbuf.h <span style='color:#111;'> 14.10KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}]

评论信息

免责申明

【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明