大到可以小说的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组合子,且听下回分解…(臭鸡蛋,臭皮鞋满天飞)

上一篇:第十一周homework


下一篇:查找特定名称文件