文件名称：lambda_calculus:Safe Rust中无类型Lambda演算的简单零依赖实现
文件大小：54KB
文件格式：ZIP
更新时间：2024-06-11 18:17:23
rust lambda-functions lambda-calculus combinatory-logic church-encoding
lambda_calculus lambda_calculus是Safe Rust中纯lambda演算的简单，零依赖实现。 特征 经典和De Bruijn索引表示法中的lambda表达式解析器 7种减少β的策略 一组标准术语（组合词） lambda编码的布尔值，对，元组，选项和结果数据类型 单对编码列表 教堂，斯科特和帕里戈特编码的数字和列表 Stump-Fu（嵌入式迭代器）和二进制编码的数字 签名号码 安装 通过将以下内容添加到您的Cargo.toml中来包含库： [dependencies] lambda_calculus = "^3.0" 并将以下内容添加到您的代码中： #[macro_use] extern crate lambda_calculus; 编译功能： backslash_lambda ：将lambda的显示从λ更改为\ encoding ：构建数据编码
【文件预览】：
lambda_calculus-master
----.travis.yml(293B)
----tests()
--------signed.rs(6KB)
--------reduction.rs(2KB)
--------lists.rs(1KB)
--------pair_list.rs(6KB)
--------option.rs(2KB)
--------num.rs(7KB)
----LICENSE(6KB)
----src()
--------data()
--------reduction.rs(10KB)
--------combinators.rs(7KB)
--------term.rs(16KB)
--------lib.rs(677B)
--------parser.rs(11KB)
----Cargo.toml(735B)
----benches()
--------parsing.rs(3KB)
--------lists.rs(802B)
--------pair_list.rs(2KB)
--------option.rs(557B)
--------term.rs(770B)
--------num.rs(3KB)
----.gitignore(25B)
----CHANGELOG.md(6KB)
----CODE_OF_CONDUCT.md(252B)
----README.md(4KB)
----.gitattributes(378B)