lambda演算
文章平均质量分 76
DKLost
这个作者很懒,什么都没留下…
展开
-
如何使用Y组合子
在Racket实现的scheme中使用Y组合子Y组合子直接在Racket中使用往往会导致无限递归,原因在于Racket的λ演算未能实现理想的β规约。考虑以下函数:fact3:=λthis.λn.(if (= n 0)) 1 (* n this this (-n 1)))fact4:=λthis.(λself.λn.(if (= n 0)) 1 (* n self self (-n 1))) (this this)))fact1:=(fact3 fact3)fact2:=(fact4 fact4)原创 2021-08-08 17:04:11 · 216 阅读 · 0 评论 -
lambda演算中的递归与Y组合子
文章目录lambda演算中的递归与Y组合子λthis.使用λthis.实现递归Y组合子lambda演算中的递归与Y组合子λthis.考虑在λ\lambdaλ演算中实现一个递归的阶乘函数,fact(n)={1,n=0n⋅fact(n−1),n≠0fact(n)=\begin{cases} 1&,n=0 \\n\cdot fact(n-1)&,n\neq0\end{ca...原创 2020-01-16 18:59:46 · 893 阅读 · 0 评论