函数式编程Y Combinator解疑

      偶然在一篇文章中看到Y Combinator，对于其对lambda函数的不动点的证实，从两条很是简洁的公理出发，巧妙地得出了匿名函数的递归表示，表示很是的感兴趣。可是，对于计算机理论没什么研究的人来讲，虽然好像看懂了它是怎么证实出匿名函数的递归，可是若是不深刻了解下Y Combinator的背景，就不知道它究竟是用来干吗的，对于我的知识体系来讲，它就是一个孤立的点，无法与学到的计算机知

>>阅读原文<<