Lambda演算_Lambda演算技术文章_InfoQ写作社区

全部标签 



写点什么

登录注册

Lambda演算

0 人感兴趣 · 1 次引用

关注

最新
推荐

Y 组合子的一个启发式推导

05-15

Y Combinator是Lambda演算理论中的一个关键性概念，通过它我们可以实现匿名的递归调用函数。关于它的解释，一般是所谓的“懂的都懂”，换句话说，不懂的人看了之后，大概还是不懂。在本文中，我希望提供一个启发式的推导，尽量使得Y组合子的构造显得直观一些

函数式编程函数式 Lambda演算 Y组合子不动点

1

玩转社区

Q&A

优质合集

精选文章

企业号社区

行业技术资讯

三周年

征文活动