函数式编程语言

Posted 2021-02-11 hkhk

函数式编程是种编程方式，它将电脑运算视为函数的计算。

函数编程语言最重要的基础是λ演算（lambda calculus），而且λ演算的函数可以接受函数当作输入（参数）和输出（返回值）。

 和指令式编程相比，函数式编程强调函数的计算比指令的执行重要。和过程化编程相比，函数式编程里函数的计算可随时调用。

 

相比于命令式编程关心解决问题的步骤，函数式编程是面向数学的抽象，关心数据（代数结构）之间的映射关系。

函数式编程将计算描述为一种表达式求值。

在狭义上，函数式编程意味着没有可变变量，赋值，循环和其他的命令式控制结构。即，纯函数式编程语言。

Pure Lisp, XSLT, XPath, XQuery, FP
Haskell (without I/O Monad or UnsafPerformIO)

在广义上，函数式编程意味着专注于函数

Lisp, Scheme, Racket, Clojure

SML, Ocaml, F#

Scala

Smalltalk, Ruby

 

为什么函数式编程语言会流行？

借用比较有代表性的回答

#t#joel.neely :

我觉得,对于函数式编程会流行这一话题没有任何疑问,因为作为一种编程方式,它都用了大约四十年了。面向对象的程序员,每当为了编写干净简洁的代码而使用了不可变对象时( immutable object ) , 这都是借用了函数式编程的概念。

Greg Hewgill :
对我来说,主要的加分处在于它固有的并行操作性,尤其是现在更高频率的CPU正在转变为更多内核。

stbuton :
即使你在工作中从不会用到函数式语言, 理解函数式编程将能够让你成为一一个更优秀的开发人员。总的来讲,对于代码和编程,它将给予你一个新的视角。