函数式编程另类指南.pdf

【转】函数式编程另类指南 March 27th,2007 ::jackyz Goto commentsLeave acomment 原文：FunctionalProgrammingFor TheRest ofUs 原文作者：VyacheslavAkhmechet 翻译：lihaitao (电邮:lihaitao 在) 翻译原帖：函数式编程另类指南 校对：刘凯清 程序员拖沓成性，每天到了办公室后，泡咖啡，检查邮箱，阅读 RSSfeed，到技术站点查 阅必威体育精装版的文章，在编程论坛的相关版面浏览公共讨论，并一次次地刷新以免漏掉一条信息。 然后是午饭，回来后盯了IDE 没几分钟，就再 次检查邮箱，倒咖啡。最后在不知不觉中， 结束了一天。 不平凡的事是每隔一段时间会跳出一些很有挑战性的文章。如果没错，这些天你至少发现了 一篇这类文章——很难快速通读它们，于是就将之束之高阁，直到 突然你发现自己已经有 了一个长长的链接列表和一个装满了PDF 文件的目录，然后你梦想着到一个人迹罕至的森 林里的小木屋苦读一年以期赶上，要是每天清晨你 沿着那里的林中小溪散步时会有人带来 食物和带走垃圾就更好了。 虽然我对你的列表一无所知，但我的列表却是一大堆关于函数式编程的文章。而这些基本上 是最难阅读的了。它们用枯燥的学院派语言写成，即使“在华尔街 行业浸淫十年的专家 （veterans）”也不能理解函数式编程 （也写作FP）都在探讨些什么。如果你去问花旗集团 （Citi Group）或德意志银行 （Deutsche Bank）的项目经理[1]，为什么选择了 JMS 而不 Erlang，他们可能回答不能在产业级的应用中使用学院派语言。问题是，一些最为复杂的， 有着最严格需求的系统却是用函数式编程元素写成。有些说法不能 让人信服。 的确，关于函数式编程的文章和论文难于理解，但他们本来不必这么晦涩。这一知识隔阂的 形成完全是历史原因。函数式编程的概念本身并不困难。这篇文章 可以作为“简易的函数式 编程导引”。是一座从我们命令式 （imperative）的思维模式到函数式编程的桥梁。去取杯咖 啡回来继续读下去吧。可能你的同 事很快就会开始取笑你对函数式编程发表的观点了。 那么什么是函数式编程呢？它怎么产生？它可以被掌握吗 （Isit edible)？如果它真如其倡导 者所言，为什么没有在行业中得到更广泛的使用？为什么好像只有那些拿着博士学位的人才 使用它？最要紧的是，为什么它就 TMD 这么难学？这些 closure,continuation,currying，惰 性求值和无副作用等等究竟是些什么东西？没有大学参与的项目怎么使用它？为什么它看 上去这么诡异于和我们命令式思想友好，圣洁和亲近 的一切的一切？我们将于不久扫清这 些疑问。首先让我来解释形成实际生活和学界文章之间巨大隔阂的缘起，简单得像一次公园 的散步。 信步游园 启动时间机器，我们散步在两千多年以前的一个被遗忘了太久的春季明媚的日子，那是公元 前380年。雅典城墙外的橄榄树树荫里，柏拉图和一个英俊的奴隶小男孩朝着学院走去。“天 气真好”，“饮食不错”，然后话题开始转向哲思。 “瞧那两个学生，”为了使问题更容易理解，柏拉图仔细地挑选着用词，“你认为谁更高呢？” 小男孩看着那两个人站着的水漕说，“他们差不多一样高”。 柏拉图说：“你的差不多一样是什么意思？”。“我在这里看他们是一样高的，不过我肯定如 果走近些就会看出他们高度的差别。” 柏拉图笑了，他正把这个孩子带到正确的方向。“那么你是说，我们这个世界没有完全的等 同了？” 小男孩想了一会儿回答，“对，我不这样认为，任何事物总有一些区别，即使我们看不到它。” 这句话非常到位！“那么如果这世上没有完全的相等，你又是如何理解‘完全’相等这个概念 的呢？” 小男孩迷惑得说：“我不知道。”最初尝试着理解数学的本源 （nature）时也会产生这种疑惑。 柏拉图暗示这个世上的万物都只是一个对完美的近似。他还认识到我们即使没有接触到完美 但依然可以理解这一概念。所以他得出结论，完美的数学形式只能 存在于另一个世界，我 们通过和那个世界的某种联系在一定程度上知晓他们。很明显我们不能看到完美的圆，但我 们可以理解什么是完美的圆并用数学公式将它表达 出来。那么，什么是数学？为什么宇宙 可以用数学定理描述？数学可以描述宇宙中的所有现象吗？[2] 数学哲学是一个很复杂的课题。像大多数哲学学科一样它更倾向于提出问题而不是给出解 答。这些意见中很多都循回绕转于一个事实，即数学实际上是一个谜 语：我们设置了一系 列基本的不冲突的原理和一些可以施加于这些原理的操作规则，然后我们