如何解析 lambda 项
我想解析 lambda 演算。我不知道如何解析该术语并尊重括号优先级。例如: (lx ly (x(xy)))(lx ly xxxy) 我找不到好的方法来做到这一点。我只是看不到…
Lambda 演算帮助
所以我完全陷入了问题的这一部分。如果有人能帮忙那就太好了............ 显示项 ZZ,其中 Z 是 λz.λx。 x(zzx) 满足 定点组合器的要求为 ZZM =β M…
如何在 F# 中实现定点运算符(Y 组合器)?
我正在使用 F# 创建 lambda 演算。我目前正试图弄清楚如何实现定点运算符(也称为 Y 组合器)。 我认为其他一切都井然有序。表达式由以下可区分联合表…
如何在 F# 中实现 beta 缩减函数?
我正在用 F# 编写 lambda 演算,但我一直坚持实现 beta 约简(用实际参数替换形式参数)。 (lambda x.e)f --> e[f/x] 使用示例: (lambda n. n*2+3)…
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 的编码。 “接受一个函数和第二个值并对参数应用函数零次的函数”是如何为零的?还有其他方法可以对…