通用λ 使用lambda演算实现通用函数 该代码演示了一个通用函数（以lambda微积分为基础，表示二进制函数对二进制字符串的部分排斥）。 与以前的尝试不同（例如二进制lambda演算），它使用lambda项与输入上的ℕ之间的双射以及规范化的lambda项与输出上的ℕ之间的双射，因此任何数字/字符串都可以视为输入或输出。 例如，这意味着询问字符串的Kolmogorov复杂度总是有意义的。 将来可能会将其吸收到更大的项目中。 目前，我决定将它放在这里。

malc-制作Lambda演算 关于 Malc是用于以任何支持编程语言实现无类型的指南和规范。 λ演算有时被称为世界上最小的编程语言。 它是一个完全由功能和功能应用组成的符号。 甚至“原始值”也表示为组合器，即没有全局变量的闭包。 作为函数式编程的基础，无类型的lambda演算易于学习，如果您真的想了解这种编程范例的基础，则值得学习。 该项目通过演示如何实现lambda演算，从而提供了对“值即函数”概念的一些见解，从而通过多种熟悉的编程语言展示了一种单独使用函数来计算（原则上）可计算的东西的方