文件名称: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)