通用lambda:使用lambda演算的通用函数的实现 源码

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