写点什么

Y组合子

0 人感兴趣 · 1 次引用

  • 最新
  • 推荐

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

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

Y组合子_Y组合子技术文章_InfoQ写作社区