文件名称：lambda-in-purescript:purescript中的简单lambda演算
文件大小：62KB
文件格式：ZIP
更新时间：2024-06-07 14:09:33
PureScript
PureScript中的Lambda 是用purescript实现的lambda claculus吗 它支持3种评估类型： 懒惰的： 优点：执行效率最高 缺点：性能无法预测 渴望的： 优点：适用于调试，可预测 缺点：可以评估一些未使用的参数 符号： 专业人士：非常适合建议和元编程 缺点：执行不需要的代码 在编译时象征性的最佳用例，在调试时急切，在运行时懒惰 一个简单的实现和执行代理程序可能是3个队列，分别是懒惰，渴望，象征性的，其中评估将被天真地划分，所有来自懒惰的作业都将在继续渴望之前执行，然后再变得懒惰，但是工人可以在渴望之前获得任务所有懒惰都基于数据局部性（也称为成本）执行 去做 介绍类型和元编程 调试器 源图 解决一些非终止样本 分析程序以进行代码复制（η转换+α转换） 检查未声明的变量 提升和相互递归功能 记忆 中缀运算符 自动补全 包装语法错误 原子数 外国直接投资
【文件预览】：
lambda-in-purescript-master
----package.json(1KB)
----test()
--------Lip()
--------Main.purs(743B)
--------Lambda()
----constraint-types.md(2KB)
----src()
--------Lip()
--------Main.purs(185B)
--------Lambda()
----.gitignore(111B)
----README.md(3KB)
----yarn.lock(83KB)
----bower.json(521B)
----.vscode()
--------settings.json(144B)