微软首席研究员：函数式编程语言时代已经来临

Posted 2021-04-09 OSC开源社区

Simon Peyton Jones 将 Haskell 等函数式编程语言描述为：它们是程序员灵感的来源

函数式语言(functional language)一类程序设计语言，具有简明性和独特的表达能力，因此可用它来研究传统程序设计语言的语义。在如今面向对象语言大行其道的时代，函数式编程语言发挥了很大作用。

对于函数式编写语言的看法

函数式编程语言一向被认为是比其它编程语言更高深的语言。一是因为函数式编程语言的语法很另类，比如Lisp语言，二是因为函数式编程语言都很古老，比如 Schema语言。

曾有网友用一张图调侃，在函数式编程语言程序员眼中，其他编程语言的样子：

（图片来源网络）

不过也有用户这样评价函数式编程语言：

A：学习成本高，不是开发的刚需技能。会有越来越多的人关注函数式编程，但是不会大规模使用。

B：就编写软件来说，函数式编程语言对于复杂性的管理，是命令式编程语言无法比拟的。
就编写软件来说，函数式编程语言对于复杂性的简化，是无法比拟命令式编程语言的。

而在近日的一个采访中，微软首席研究员兼 Haskell 的主要贡献者  Simon Peyton Jones 说到，函数式编程语言的时代已经来临！将在主流编程语言中占据一席之地。

为什么说：函数式编程语言时代已经来临？

Simon 谈到，大多数编程语言的构建方式都是命令式的，需要预先设定执行命令。但函数式编程语言就不一样，它会直接输出结果。比如 Excel 表格里的方程式，它并不显示计算步骤，只显示最后的计算结果。他认为函数式编程语言能够帮助验证程序员的新想法，它们易于理解，也易于处理，只要你有能力驾驭，它们就能为你提供强有力的帮助。

Simon 还认为，函数式编程语言可以避免运算单元之间发生交互，来实现并行运算。但这要求程序员对程序每个环节的交互都非常了解，从而降低 bug 出现率。

过去几年，函数式编程语言的许多优秀特性，都得到了其他编程语言的认可和模仿。但函数式编程语言并没有停止创新的步伐。Haskell 和 OCaml 可以说是函数式编程语言创新的主力，一些函数式编程语言已经成为主流编程语言的一部分。

虽说函数式编程语言的市场相对较小，但已经存在了 27 年，所以用户群体比较强大。而且，许多企业也也在使用函数式编程语言。如，Bloomberg 和谷歌等，Facebook 也在用 Haskell 进行垃圾过滤。

Simon 最后还总结道：就编写软件来说，函数式编程语言对于复杂性的管理，是命令式编程语言无法比拟的。

函数式编语言的时代是否真的已经来临？欢迎留言发表你的看法。

推荐阅读

点击“阅读原文”查看更多精彩内容