函数式语言(functional language)的相关了解

函数式语言(functional language)一类程序设计语言,是一种非冯·诺伊曼式的程序设计语言。函数式语言主要成分是原始函数、定义函数和函数型。这种语言具有较强的组织数据结构的能力,可以把某一数据结构(如数组)作为单一值处理;可以把函数作为参数,其结果也可为函数,这种定义的函数称为高阶函数,程序就是函数,程序作用在结构型数据上,产生结构型结果,从根本上改变了冯·诺伊曼式语言的“逐词”工作方式。

 

函数式编程经常使用递归。纯函数式的程序没有变量和副作用(Side effect)。因为纯函数式程序设计语言没有变量,函数没有副作用,编写出的程序可以利用记忆化、公共子表达式消除和并发计算在运行时和编译时得到大量优化。我们常见的编程语言有数十种之多。编程语言种类有很多,按照程序设计的方法,可分为以下几种程序语言: (1)结构化编程语言,比如C语言等。 (2)函数式编程语言,比如OCaml, Lisp等。 (3)逻辑式编程语言,比如Prolog等。 (4)面向对象程序语言,比如Java等。   函数式语言(functional language)流行的原因有如下: (1)函数式编程语言的代码十分简单,加快了开发的速度。并且由于在使用函数式编程语言时,程序员会大量使用到函数,从而减少了重复的代码,因而程序比较短。 (2)函数式编程语言更加接近我们使用的自然语言,程序员在学习和使用它的时候更加快捷容易。函数式编程语言的*度很高,十分接近自然语言写出的代码。 (3)函数式编程语言的代码管理更加方便。函数式编程不会对外部产生依赖,也不会修改外界的状态。程序员只需把指定的参数给函数,相同的参数其返回的结果必定是相同的。 (4)函数式编程语言还支持并发编程,这就使得程序员在进行函数式编程时完全不用考虑死锁的问题,因为它根本就不修改变量,所以就不存在锁线程的问题。 (5)函数式编程语言的代码支持代码热升级(注释:热更新即代码热升级就是动态下发代码,它可以使开发者在不发布新版本的情况下,修复 BUG 和发布功能,让开发者得以绕开软件宿主主机的审核机制,避免长时间的审核等待以及多次被拒造成的成本。)。
上一篇:函数式语言(functional language)


下一篇:functional program language(what,include,why popular)