您知道哪些优雅且图灵完备的机器*？ 书中有一本吗？
Lambda 演算当然非常优雅，但是函数的输入和输出之间存在这种不对称性，您不会感到困扰吗？ 即，您可以使该函数接受两个参数（通过返回一个函数），但…
如何使用原始递归简化以下表达式？
可能的重复： Haskell 中的符号简化（使用递归？） 我想到的简化是 0*e = e*0 = 0 1*e = e*1 = 0+e = e+0 = e-0 = e 并简化常量子表达式，例如，Plus …
Lambda 演算当然非常优雅，但是函数的输入和输出之间存在这种不对称性，您不会感到困扰吗？ 即，您可以使该函数接受两个参数（通过返回一个函数），但…
可能的重复： Haskell 中的符号简化（使用递归？） 我想到的简化是 0*e = e*0 = 0 1*e = e*1 = 0+e = e+0 = e-0 = e 并简化常量子表达式，例如，Plus …
接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。