一种编程语言和计算模型,完全符合最优的 λ-演算法。
全局λ函数允许 IC 表达传统λC 中无法实现的概念,包括连续性、线性 HOAS 和可变引用。叠加和复制使 IC 可以进行最优的求值,从而使某些计算速度成指数级提升。最后,完全线性使其垃圾回收器非常高效,并大大简化了并行性。HVM 是此计算方法的一个快速、功能全面的实现。
此仓库包含了一个基于纯 C 语言的交互算法参考实现，其中包含了一些附加功能，例如原生数字。要安装它，请运行以下命令：
Lambda 采用柯里化，其工作方式与 λC 相同，唯一不同的是作用域更宽松，并且使用方式更灵活。应用程序通过 β-还原（APP-LAM）交互来消除 Lambda，就像 λC 中一样。
暂无开放 Issues，或尚未同步最近议题。