如何使用 S、K 和 I 组合符编写一个空列表？
我知道： (cons [p] [q]) is ((s ((s i) (k [p]))) (k [q])) (car [lst]) is ([lst] k) (cdr [lst]) is ([lst] (k i)) 我想写一个像这样的列表 (cons …
有哪些学习 Lambda 演算的资源？
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
您知道哪些优雅且图灵完备的机器*？ 书中有一本吗？
Lambda 演算当然非常优雅，但是函数的输入和输出之间存在这种不对称性，您不会感到困扰吗？ 即，您可以使该函数接受两个参数（通过返回一个函数），但…
如何使用原始递归简化以下表达式？
可能的重复： Haskell 中的符号简化（使用递归？） 我想到的简化是 0*e = e*0 = 0 1*e = e*1 = 0+e = e+0 = e-0 = e 并简化常量子表达式，例如，Plus …
