函数式编程

函数式编程
相比于命令式编程关心解决问题的步骤，函数式编程是面向数学的抽象，关心数据（代数结构）之间的映射关系。函数式编程将计算描述为一种表达式求值。

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

Pure Lisp, XSLT, XPath, XQuery, FP
Haskell (without I/O Monad or UnsafPerformIO)
在广义上，函数式编程意味着专一于函数

Lisp, Scheme, Racket, Clojure
SML, Ocaml, F#
Haskell (full language)
Scala
Smalltalk, Ruby
函数
函数式编程中的函数，这个术语不是指命令式编程中的函数（咱们能够认为C++程序中的函数本质是一段子程序Subroutine），而是指数学中的函数，即自变量的映射（一种东西和另外一种东西之间的对应关系）。也就是说，一个函数的值仅决定于函数参数的值，不依赖其余状态。

在函数式语言中，函数被称为一等函数（First-class function），与其余数据类型同样，做为一等公民，处于平等地位，能够在任何地方定义，在函数内或函数外；能够赋值给其余变量；能够做为参数，传入另外一个函数，或者做为别的函数的返回值。