欢迎光临
我们一直在努力

函数式编程圣经

前言:本文原作者BlindingDark, 老刘做了修改。


编程的世界是由许多平行宇宙组成的,面向对象宇宙中的上帝给人类讲述了OO大法,形成了《面向对象圣经》。与此同时,在编号为C-137的平行宇宙中,函数式上帝开始工作了……

1
第一天

上帝看到约翰·麦卡锡发明了表处理语言 Lisp,却只用来学术研究,很是伤心,就把 Lisp 解释器的秘密告诉了他的学生斯蒂芬·罗素,斯蒂芬·罗素将eval函数在IBM 704机器上实现后,函数式编程的大门第一次向人类打开了。


2
第二天

这个平行宇宙的上帝思想独特,他说:“ 要有不变量”                


函数式编程圣经


上帝又说: “函数应该是纯粹的(纯函数)”


不能修改传递给函数的变量!


不能修改全局变量!


对于同样的输入参数,返回值总是相同的!


下面的函数是被允许的,每次调用,返回值都相同,可以安全地调用,直到宇宙毁灭。


函数式编程圣经


这样的函数在函数式宇宙中是不允许的,因为第二次调用就会导致函数式宇宙的毁灭。


函数式编程圣经


这个函数是不被允许的,它竟然想修改输入参数!


函数式编程圣经


如果函数返回了一个新的数组,而没有改变原有的值,那函数式上帝很高兴。


函数式编程圣经


人类对于上帝立下的规矩表示迷惑不解: are you kiding me ?


3
第三天

人类尝试着写程序,由于不变量的规定,发现连个最基本的for 循环都搞不定。


函数式编程圣经


人类迷惑不解:“有没有搞错, 我们怎么写循环?”


上帝说:“你们用循环干什么?”


人类写了一段代码。


函数式编程圣经


上帝说:要有递归!  


上帝也写了一段代码:


函数式编程圣经


人类说:“这虽然能完成工作,但是好像不太直观啊!再说,亲爱的上帝,如果我那个list容量很大,递归层次很深,会不会出现栈溢出?”


上帝说:“没事,我有尾递归,保证不溢出。这种递归的写法,你们慢慢就习惯了。”


(友情提示:尾递归在《张大胖学递归》中有描述)


4
第四天

上帝发现很多函数大体上都是相同的,只有部分细节不一样,有很多重复代码,太浪费了。


函数式编程圣经



上帝说:“要有高阶函数!


让函数来生成函数,把公用的部分抽取出来,不共用的部分与共用部分能组合起来。


函数式编程圣经


上帝提供了几个很好用的高阶函数,如map,filter, fold等,让人类快速高效地去操作集合数据。


函数式编程圣经


5
第五天

上帝对自己的工作很满意。仿佛程序世界的框架已经基本完成,只剩下边边角角的实现了。 


可是这个宇宙的人类总是抱怨函数式编程太难,看到这里的上帝不愿意改变,有很多人都穿越到编号为S-87那个所谓“面向对象”的宇宙去了。


上帝叹了口气:“你们呐,目光短浅,摩尔定律已经失效,多核时代已经来临,我们函数式编程天生是为并发编程而生的啊,你看看函数没有side effect,不共享变量,可以安全地调度到任何一个CPU core上去运行,没有烦人的加锁问题,多好啊!”


过了两天,隔壁 S-87 宇宙的面向对象上帝来串门了。


面向对象上帝说:“亲爱的函数式上帝,听叛逃者,不,投诚者,啊,是穿越到我那里的人说,你这个宇宙有个叫做函数式编程的宝贝?”


函数式上帝:“还宝贝?!人都跑光了!”


“你给我讲讲吧,到时候我再劝他们回来。”


函数式上帝于是给他讲了自己创世纪时立下的规矩,还讲了很多他打算在第6天,第7天告诉人类的知识,什么Currying, 惰性求值,宏(macro)等等。


面向对象上帝表示感谢,喜滋滋地回去了。


后来,函数式上帝听说面向对象的宇宙出现了不少混合式风格编程的语言 OOP + FP (Functional Programming),也就没多少人再回到自己的宇宙了。


函数式上帝什么都没说,叹了口气。


6
第六天

函数式上帝决定休息。


7
第七天

函数式上帝继续休息。


这就是为什么函数式世界的程序员能休息两天的来历。


推荐阅读:

面向对象圣经

张大胖学递归


(完)

你看到的只是冰山一角, 更多精彩文章,请移步《2016文章精华》或者《2017文章精华


码农翻身

用故事讲述技术

函数式编程圣经

赞(0)
未经允许不得转载:流量话费活动资讯发布 薅羊毛线报平台-云上的日子 » 函数式编程圣经

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

活动线报-流量话费-编程技巧

联系我们联系我们