FT EDSL 中的 Y 组合器
我正在尝试弄清楚如何在 Final Tagless EDSL 中表达 Y-Combitor： class Symantics exp where lam :: (exp a -> exp b) -> exp (exp a -> exp b…
Lambda 演算中的结合性
我正在研究The Lambda calculus一书的练习题。我遇到的问题之一是证明以下内容： 表明应用程序不具有关联性；事实上，x(yz) 不等于 (xy)z 这是我到目…
如何使教堂数字在 lisp 中更易于阅读？
我可以使用方案相当容易地定义教堂数字： > (define f (lambda (x) x)) > (f f) 0 #<procedure:f> > (f (f f)) 1 #<procedure:f> 但是…
Lambda 演算中布尔值的查询
这是 AND 运算符的 lambda 演算表示形式： lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) b 任何人都可以帮助我理解这种表示形式吗？…
将 Python 转换为 Haskell / Lambda 演算
Haskell 和 Lambda 演算中的 Python 代码是什么？ def f1(): x = 77 def f2(): print x f2 f1 我在 lambda 演算方面的尝试 \x. 77 (\x.x) …
用于函数式编程的 lambda 演算
在 lambda 演算中 (λ x. λ y. λ s. λ z. xs (ysz)) 用于添加两个丘奇数字，我们如何解释这一点，是否有任何用于函数式编程的 lambda 演算的好资源…
教堂数字：如何在 lambda 演算中编码零？
我正在学习 lambda 演算，但我似乎无法理解数字 0 的编码。 “接受一个函数和第二个值并对参数应用函数零次的函数”是如何为零的？还有其他方法可以对…
如何使用 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 …
