lambda-parser:用于lambda演算的完整（几乎没有错误！）虚拟机和编译器

【文件属性】：

文件名称：lambda-parser:用于lambda演算的完整（几乎没有错误！）虚拟机和编译器

文件大小：11KB

文件格式：ZIP

更新时间：2024-04-06 19:04:44

compiler command-line virtual-machine lambda-calculus Go

Lambda微积分编译器 这里的目标是从lambda演算构建完整的函数式编程语言。 当前功能包括数字，运算符，字符串，列表和let语句。 该语言经过编译，并通过虚拟机进行评估。 即将推出的功能包括： 显式递归let语句 内置布尔 与守卫的模式匹配 经典无类型Lambda演算 Lambda演算是一种表示纯函数的方法。 在lambda演算中，唯一的原始类型是函数。 功能定义 函数以(|.)的形式定义例如： (|xx)是一个接受一些参数“ x”并返回它的函数。 功能应用 函数的应用非常简单： 例如： (|xx) q是一个函数，它接受参数x并返回它，并传递了一些参数q。 为了减少这种情况，我们可以返回函数的主体，将x的每个实例替换为q。 (|x.x) q -> q 功能性咖喱 为了支持具有多个参数的功能，使用了一个

【文件预览】：
lambda-parser-master
----.gitignore(290B)
----go.mod(48B)
----vm()
--------error.go(1KB)
--------runtime.go(10KB)
--------main()
--------mem_alloc.go(3KB)
----cpp()
--------example.txt(17B)
--------parser.y(3KB)
--------compiler.c(2KB)
--------parser.h(1KB)
--------build.sh(81B)
--------lexer.l(1KB)
----README.md(2KB)
----lambda(713B)