文件名称：blep:基本的Lambda表达式解析器
文件大小：11KB
文件格式：ZIP
更新时间：2024-04-23 00:33:13
parser command-line lambda-calculus Rust
λ bλep是一个简单的命令行工具，用于解析和评估未类型化的，在实现。 例子 Church布尔和基本逻辑运算符的定义为λ项： blep > TRUE := \x . \y .x blep > FALSE := \x . \y .y blep > AND := \p q.(p q p) blep > (AND TRUE FALSE) FALSE blep > NOT := \p .p FALSE TRUE blep > AND (NOT FALSE) (AND TRUE (NOT FALSE)) TRUE 概述 该项目目前正在进行中。 从版本0.1.0开始， blep可以根据用户输入构造抽象语法树。 解析器当前提供了一些语法糖，以使λ表达式的读取变得不那么麻烦，例如，较少依赖括号，更多地依赖于表达关联性，以及将λ表达式序列缩写为具有多个参数的单个λ表达式。 解析器支持变量名的UTF-8
【文件预览】：
blep-master
----Cargo.lock(135B)
----.github()
--------workflows()
----LICENSE(1KB)
----src()
--------error.rs(1KB)
--------environment.rs(91B)
--------impls()
--------expression.rs(157B)
--------lib.rs(240B)
--------parser.rs(13KB)
--------tokenizer.rs(5KB)
----Cargo.toml(224B)
----examples()
--------simple.rs(194B)
----.gitignore(9B)
----README.md(2KB)