文件名称:
lambda-parser:用于lambda演算的完整（几乎没有错误！）虚拟机和编译器-源码
开发工具:
文件大小: 11kb
下载次数: 0
上传时间: 2021-03-18
详细说明：
Lambda微积分编译器
这里的目标是从lambda演算构建完整的函数式编程语言。 当前功能包括数字，运算符，字符串，列表和let语句。 该语言经过编译，并通过虚拟机进行评估。 即将推出的功能包括：
显式递归let语句
内置布尔
与守卫的模式匹配
经典无类型Lambda演算
Lambda演算是一种表示纯函数的方法。 在lambda演算中，唯一的原始类型是函数。
功能定义
函数以(|.)的形式定义例如： (|xx)是一个接受一些参数“ x”并返回它的函数。
功能应用
函数的应用非常简单： 例如： (|xx) q是一个函数，它接受参数x并返回它，并传递了一些参数q。 为了减少这种情况，我们可以返回函数的主体，将x的每个实例替换为q。
(|x.x) q
-> q
功能性咖喱
为了支持具有多个参数的功能，使用了一个
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
