文件名称：通用lambda：使用lambda演算的通用函数的实现
文件大小：3KB
文件格式：ZIP
更新时间：2024-03-16 03:04:41
Haskell
通用λ 使用lambda演算实现通用函数 该代码演示了一个通用函数（以lambda微积分为基础，表示二进制函数对二进制字符串的部分排斥）。 与以前的尝试不同（例如二进制lambda演算），它使用lambda项与输入上的ℕ之间的双射以及规范化的lambda项与输出上的ℕ之间的双射，因此任何数字/字符串都可以视为输入或输出。 例如，这意味着询问字符串的Kolmogorov复杂度总是有意义的。 将来可能会将其吸收到更大的项目中。 目前，我决定将它放在这里。
【文件预览】：
universal-lambda-main
----Universal.hs(8KB)
----.gitignore(225B)
----README.md(742B)