写点什么

为什么函数式编程没有流行起来?

  • 2009-03-02
  • 本文字数:1583 字

    阅读完需:约 5 分钟

函数式编程已经不是什么新概念了,而且在各个技术论坛和新闻网站上也时不时的挂起一阵函数式编程的旋风。但是对于很多编写应用程序的编程人员来说,函数式编程仍显得那么陌生和遥远。对此 Confusion 在 tweakblog.net 上发起了一场关于“为什么函数式编程语言没有流行起来”的大讨论。

Confusion 认为函数式编程语言之所以没有流行起来,原因是其文档及示例都显得过于复杂难懂,让人望而却步:

软件工程领域的一些权威对于函数编程(functional programming——FP)事实上不怎么流行深表遗憾。支持者这一观点的人通常责怪听众短视或其老板无能,认为不同意他们意见的人根本不懂函数式编程为何物。而这反过来却可能说明一点:他们没有给出恰当的解释。 我想限制 FP 语言被采用的实际原因是:真正吸引大家的是函数式编程语言的一些优点,但是这些优点并没有被很好地阐述和示例。同样,这些解释和样例在说服软件工程师方面显得非常失败,因为它们没有回答软件工程师们在日常工作中所关心的问题。

接着 Confusion 用一个有关定义 reduce 的例子进一步说明了这一点:

(reduce f x) nil = x
(reduce f x) (cons a l) = f a ((reduce f x) l) ……

这很抽象,多数人并不熟悉。可是,FP 语言的文档只包含了这类非常数学化的例子。难道没有人写一个用来证明 FP 强大功能的宠物店的例子吗?这才是我们大多数人的常规工作。

对于 Confusion 的这一看法,引来了众多读者的讨论,大家就这一问题纷纷发表了自己的看法。 RayNbow 对于 FP 例子过于抽象的看法就表达了不同意见:

斐波纳契数列(Fibonacci )的例子(还有阶乘)通常被用作说明语言语法的具体例子。因为函数式编程语言以函数为中心,还有什么更好的方法展示如何定义它们的么?你可以把斐波纳契数列和阶乘的例子看作函数世界的 Hello World。

Tubbie 认为 FP 的特长就在于计算方面,因此编写数据库或用户界面应用的程序员根本不需要使用它:

FP 支持者之所以展示计算例子,是因为 FP 擅长此道。问题是大多数程序员每天编写的大多数代码都是关于与数据库、用户界面等交互的,并不包含复杂的数学运算或算法。FP 语言是非常不同的的语言,如果只解决边界条件问题,就不需要学习它。

Dooievriend 非常赞同 Tubbie 的说法:

……我很喜欢函数式语言,它非常适合解决要解决复杂的运算问题。……但是关于用它来构建 GUI 并访问数据库,我没有任何思路。对我来说,只在复杂和经常变化的问题出现时,才会用到 FP,但它是嵌入到其他语言中使用。这是 FP 语言应被使用的方式,我至少知道 Mercury 是这么用的……

有不少人表示同意 Dooievriend 的这一说法,他们认为只有混合了命令式语言(imperative languages )与函数式语言(functional languages )才能做到两全其美。

就函数式语言没有很好的说明和例子这一说法,虽然 Morton 也表示同意,但是他并不认为 FP 没有流行起来:

……我没觉得 FP 不流行。我经常发现同事在代码中使用了函数模式,可是他们自己都没有意识到。现在也很难找到不支持 FP 的语言。在 Java 和.Net 都开始支持 FP 概念的时候,你们居然还担心 FP 不流行。

Alex 更是现身说法,说自己已经把函数式编程当作了“秘密武器”:

你的意思是还没人写出一篇能让人信服的说明函数编程好处的文章吗? …… 我和我的团队已经用 F#开发了一个稳定的、现实的、商用的业务应用,而且已经被大公司买走了。函数式编程最成功之处是,根据任务的特性,代码量可以减少 4 到 10 倍,对此我十分确信,因为我们用 F#重写了一些老代码,所写的代码也更加易于维护和扩展。 因此,它给了我们竞争优势。或许说服不了大多数人对我们来说是好事:),我们已经拥有这一秘密武器了。

虽然大家看法各不相同,但是有一点可以看得出来,函数式编程特长和优点是大家有目共睹的。你使用过函数式语言吗?对于函数式编程你有什么话要说呢?更多函数式编程信息请访问 InfoQ 中文网站的函数式编程专题

2009-03-02 23:316099
用户头像

发布了 150 篇内容, 共 50.2 次阅读, 收获喜欢 10 次。

关注

评论 1 条评论

发布
用户头像
错别字老让我分神,希望作者后面能改正一下
2022-04-19 18:39
回复
没有更多了
发现更多内容

博文推荐 | Apache Pulsar 延迟消息投递解析

Apache Pulsar

kafka 开源 RocketMQ pulsar Apache Pulsar

微服务架构设计与最佳实践

万俊峰Kevin

微服务 go-zero Go 语言

《函数式编程精粹》(3) Functional Design

陈皓07

《A Tour of TLA+》

陈皓07

产品训练营 - 作业 5

简小一

架构师训练营第八周作业 - 命题作业

阿德儿

架构师训练营第九周作业 - 命题作业

阿德儿

第8周课后练习-性能优化二

潘涛

架构师训练营 4 期

join为啥会阻塞主线程?

叫练

join

架构师训练营课程纲要

陈皓07

android程序开发!2021Android精选面试实战总结整理,大厂直通车!

欢喜学安卓

android 程序员 面试 移动开发

译文 | 深度剖析 Pulsar Functions

Apache Pulsar

大数据 kafka 开源 pulsar Apache Pulsar

架构师进阶之《Your Mouse is a Database》

陈皓07

无利不起早——聊聊学习动机

Justin

心理学 激励 28天写作 游戏设计

Elasticsearch Fetch Phase

escray

elastic 七日更 28天写作 死磕Elasticsearch 60天通过Elastic认证考试

如何写好一份解决方案

数列科技杨德华

28天写作

更新啦!第 59 期《HelloGitHub》开源月刊

HelloGitHub

GitHub 开源

递归的人生哲学

Nick

数据结构 算法 递归

《函数式编程精粹》(2) 热身:A STACK BASED CALCULATOR

陈皓07

Java 并发系列(一):多线程三大特性

TroyLiu

Java 多线程 原子性 可见性 有序性

《DDD with TLA+》(4) Transaction Commit

陈皓07

与前端训练营的日子 -- Week17

SamGo

学习

这段时间的记录有点太水了

Nydia

android布局优化!Android屏幕适配很难嘛?其实也就那么回事,内含福利

欢喜学安卓

android 程序员 面试 移动开发

【答疑点评必看】如何从「数据范围」中找到解题「突破口」...

宫水三叶的刷题日记

面试 LeetCode 数据结构与算法

架构师进阶之《做踏实的架构》

陈皓07

《DDD with TLA+》(1) 建模思考

陈皓07

《DDD with TLA+》(2) 系统行为

陈皓07

《DDD with TLA+》(3) DEBUG & MODELING

陈皓07

网络故障的排错思路指南

《函数式编程精粹》(1) 函数式思考

陈皓07

为什么函数式编程没有流行起来?_Java_宋玮_InfoQ精选文章