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 · 195 阅读 · 0 评论 -
lambda演算中的递归与Y组合子
文章目录lambda演算中的递归与Y组合子λthis.使用λthis.实现递归Y组合子 lambda演算中的递归与Y组合子 λthis. 考虑在λ\lambdaλ演算中实现一个递归的阶乘函数, fact(n)={1,n=0n⋅fact(n−1),n≠0 fact(n)=\begin{cases} 1&,n=0 \\ n\cdot fact(n-1)&,n\neq0 \end{ca...原创 2020-01-16 18:59:46 · 846 阅读 · 0 评论