大到可以小说的Y组合子（零）

问：啊！我想要一个匿名的递归…

答：Y（音同Why）…

… …

问：作为一位命令式语言的使用者，为什么会突然折腾起Y组合子呢？

答：的确，这事儿要从很久以前的几次搁浅开始说起…上学的时候，从来没有接触过函数式语言，对其了解只停留在“函数是first-class对象，可以像普通值一样传递”，仅此而已。后来，了解到.Net家族里的F#就是一种函数式语言，于是把玩了几下就搁浅了。再后来，C++新标准中纳入了Lambda表达式，支持了面向函数范式编程，于是又把玩了几下，感觉除了语法上跟C#略不同外，没什么特别之处，就又搁浅了。在此期间，断断续续一直有关注王垠的文章，从他的文章中了解到了Lisp，Scheme等更多关于FP的信息，以及一本值得每个程序员细读的好书——SICP（多希望读本科的时候就有这个觉悟——少打几盘Dota）。这本书已经拿到很久了，不过一直没有满怀虔诚地翻开。近来欲图浸洗一下自己堕落的灵魂，拂一拂书页上积满的灰尘，从此走上一条神(bu)圣(gui)之路…

问：似乎有点扯远了，不是说要谈谈Y组合子么？

答：哦，是的。最近在读SICP，打算用Scheme和F#完成课后习题。有天在把玩F#的时候，突发奇想：能不能用Lambda表达式（下文简称Lambda）写个递归呢？几番尝试，发现这个问题并不是一件天生简单的事情，经过一阵狂搜，方才对Y组合子有了比较全面的理解。

问：好吧，那现在就把讲台交给你，且听你如何剖析Y组合子，欢迎。(掌声四起)

答：大家好，这是我的第一篇博客园博文，在这里做个引子，欲深入了解Y组合子，且听下回分解…(臭鸡蛋，臭皮鞋满天飞)