函数式编程语言

       函数式编程是种编程方式，它将电脑运算视为函数的计算。函数编程语言最重要的基础是λ演算（lambda calculus），而且λ演算的函数可以接受函数当作输入（参数）和输出（返回值）。 [1] 

       和指令式编程相比，函数式编程强调函数的计算比指令的执行重要。

       和过程化编程相比，函数式编程里函数的计算可随时调用。

 

                                                                                                                                                                       ----- 百度百科

 

    1、  函数式语言有两个个主要的特点：1. 函数是“头等公民”。2. 数据的“immutability”. 操作的“无副作用”， 
这规避了‘锁’。 
函数式编程的函数是指数学上的函数：给定输入固定的输出，没有副作用。任何语言都可以用函数式的风格， 
只是难易不同罢了。 
比如函数 y = f(x). 和 函数 t = g(z); 在数学上，当 t在f(x)的定义域内时，可以组成复合函数 y=f(g(z));

     2、大致包括Haskell、Clean、Erlang和Miranda等语言

     3、这几年来，函数式编程似乎忽然红火了起来，但事实上，函数式编程却是个已经存在了四十余年但长期只活跃于学术领域而非商业开发领域的一个编程方式。对于函数式编程会流行这一话题没有任何疑问，因为作为一种编程方式，它都用了大约四十年了。面向对象的程序员，每当为了编写干净简洁的代码而使用了不可变对象时（immutable object），这都是借用了函数式编程的概念。

         不过，强制性的函数式编程语言最近这些日子里的确获得了很多文章的关注，而这些语言是否将主宰未来的编程语言还是一个悬而未决的问题。我自己的推测是，那种混合型、多范式的语言，比如 Scala 或 OCaml ，很可能会超过那些“纯正的”函数式语言，正如纯正的面向对象语言（Smalltalk、Beta 等）：他们影响了主流编程但并未最终成为使用最多的语言