函數式編程Y Combinator解疑

      偶然在一篇文章中看到Y Combinator，對於其對lambda函數的不動點的證實，從兩條很是簡潔的公理出發，巧妙地得出了匿名函數的遞歸表示，表示很是的感興趣。可是，對於計算機理論沒什麼研究的人來講，雖然好像看懂了它是怎麼證實出匿名函數的遞歸，可是若是不深刻了解下Y Combinator的背景，就不知道它究竟是用來幹嗎的，對於我的知識體系來講，它就是一個孤立的點，無法與學到的計算機知

>>阅读原文<<