函数式编程

维基百科:
函数式编程(英语:Functional programming)或者函数程序设计,又称泛函编程,是一种编程范型,它将计算机运算视为数学上的函数计算,并且避免使用程序状态以及易变对象。函数编程语言最重要的基础是λ演算(lambda calculus)。而且λ演算的函数可以接受函数当作输入(引数)和输出(传出值)。
函数式编程强调程序的执行结果比执行过程更重要,倡导利用若干简单的执行单元让计算结果不断渐进,逐层推导复杂的运算,而不是设计一个复杂的执行过程。


纯函数式编程语言
强静态类型
Concurrent Clean
Haskell
Miranda
弱类型
Lazy K


非纯函数式编程语言
强静态类型
F#
ML
OCaml
Scala
强动态类型
Erlang
LISP
LOGO
Scheme
Clojure
Mathematica
R
弱类型
Unlambda


其他函数式编程语言
APL
XSLT

你可能感兴趣的:(函数式编程)