函数式编程
函数式编程是种编程典范，它将电脑运算视为函数的计算。函数编程语言最重要的基础是 λ 演算（lambda calculus）。而且λ演算的函数可以接受函数当作输入（参数）和输出（返回值）。和指令式编程相比，函数式编程强调函数的计算比指令的执行重要。和过程化编程相比，函数式编程里，函数的计算可随时调用。
虽然 λ 演算并非设计来于计算机上执行，但可视为第一个函数式编程语言。1980年代末期，Haskell发布，企图集合很多函数式编程研究里的想法。 历史 速度和空间上的顾虑 函数式编程常被认为严重耗费在CPU和内存资源。主因有二： 早期的函数式编程语言实现时并无考虑过效率问题。 非函数式编程语言为求提升速度，会在某些部分放弃边界检查或垃圾回收等功能。 缓式评估亦为语言如Haskell增加了额外的管理工作。 函数式编程语言 纯函数式的程序没有变量和副作用。 函数式编程经常使用递归。 纯函数式编程语言 因为纯函数式程式设计语言没有变量，函数没有副作用，编写出的程式可以利用memoization、common subexpression elimination和平行计算在运行时和编译时得到大量优化。 函数式编程中最古老的例子莫过于1958年被创造出来的LISP了，透过 LISP，可以用精简的人力。较现代的例子包括Haskell、Clean、Erlang和Miranda等。
速度和空间上的顾虑函数式编程常被认为严重耗费在CPU和存储器资源。主因有二：
- 早期的函数式编程语言实现时并无考虑过效率问题。
- 非函数式编程语言为求提升速度，会在某些部分放弃边界检查或垃圾回收等功能。
惰性求值亦为语言如Haskell增加了额外的管理工作。
典型的函数式编程语言
非纯函数式编程语言[编辑]其他函数式编程语言资料来源于:
阅读(2006) | 评论(5) | 转发(0) |
