编程语言的分类

我们可以像下面这样定义它们之间的不同：

 

命令式编程：命令“机器”如何去做事情(how)，这样不管你想要的是什么(what)，它都会按照你的命令实现。

声明式编程：告诉“机器”你想要的是什么(what)，让机器想出如何去做(how)。

 大多数程序员考虑编程时，他们都要设想用于编写应用程序的 命令式样式和技术。最受欢迎的通用编程语言（包括 Python 和其它面向对象的语言）在样式上绝大多数都是命令式的。另一方面，也有许多编程语言是 声明性样式，包括函数语言和逻辑语言，还包括通用语言和专用语言。 

 

让我们列出几个属于各个种类的语言。许多读者已经使用过这些工具中的许多工具，但不见得考虑过它们之间的种类差别。Python、C、C++、Java、Perl、Ruby、Smalltalk、Fortran、Basic 和 xBase 都是简单的命令式编程语言。其中，一些是面向对象的，但那只是组织代码和数据的问题，而非基本编程样式的问题。使用这些语言，您命令程序执行指令序列：把某些数据 放入（put）变量中；从变量中 获取（fetch）数据； 循环（loop）一个指令块 直到（until）满足了某些条件； 如果（if）某个命题为 true，那么就进行某些操作。所有这些语言的一个妙处在于：便于用日常生活中熟悉的比喻来考虑它们。日常生活都是由做事、选择、再做另一件事所组成的，期间或许会使用一些工具。可以简单地将运行程序的计算机想象成厨师、瓦匠或汽车司机。 

诸如 Prolog、Mercury、SQL、XSLT 这样的语言、EBNF 语法和各种格式的真正配置文件，都 声明某事是这种情况，或者应用了某些约束。函数语言（比如 Haskell、ML、Dylan、Ocaml 和 Scheme）与此相似，但是它们更加强调陈述编程对象（递归、列表，等等）之间的内部（函数）关系。我们的日常生活（至少在叙事质量方面）没有提供对这些语言的编程构造的直接模拟。然而，对于那些可以用这些语言进行描述的问题来说，声明性描述 远远比命令式解决方案来得简明且不易出错。例如，请研究下面这个线性方程组： 

 

清单 1. 线性方程式系统样本

10x + 5y - 7z + 1 = 0

17x + 5y - 10z + 3 = 0

5x - 4y + 3z - 6 = 0

这是个相当漂亮的说明对象（x、y 和 z）之间几个关系的简单表达式。在现实生活中您可能会用不同的方式求出这些答案，但是实际上用笔和纸“求解 x”很烦，而且容易出错。从调试角度来讲，用 Python 编写求解步骤或许会更糟糕。

Prolog 是与逻辑或数学关系密切的语言。使用这种语言，您只要编写您知道是正确的语句，然后让应用程序为您得出结果。语句不是按照特定的顺序构成的（和线性方程式一样，没有顺序），而且程序员或用户并不知道得出的结果都采用了哪些步骤。

 

几种典型的函数式语言

◆Erlang：这是一种以A.K Erlang的名字命名的通用并行编程语言。它有函数式语言的元素，以及一个Actor 并发模型，从而简化并行开发工作。编辑推荐对Erlang感兴趣的读者阅读一下51CTO以前的一次访谈：因并发而生 因云计算而热：Erlang专家访谈实录。

◆Haskell：这是一门已经有超过20年历史的开源编程语言，它的设计宗旨就是成为一门纯粹的函数式语言。

◆OCaml：面向对象的Caml（Objective Caml）是Caml语言的一个开源版本，Caml语言可以算是ML语言的一个方言版了，ML语言1970年就已经开发出来了，也是作为一种通用函数式语言存在的。它被认为是后来出现的F#等多种函数式语言的基础。

◆Lisp：表处理语言（List Processing Language）是一种函数式语言，最初是于1958年拟定的。由它派生出了许多分支。

◆Scala：Scala 语言的设计目标是在Java虚拟机上实现函数式和面向对象这两类编程语言的集成。它是一种强类型的编程语言。Scala编程语言近年来的流行度在不断提升，编辑推荐读者参阅51CTO的Scala编程语言专题。

◆Clojure：Clojure是Lisp语言的一个现代分支，它运行在Java虚拟机上，是为并发程序开发设计的。它是一种动态类型编程语言。

◆F#：这是一种运行在.Net CLR平台上的新语言。它是OCaml的一个分支，它兼具了函数式和命令式面向对象语言的特点。同时它也是一种强类型的编程语言。F#在未来的.NET平台上有重要的作用，将在Visual Studio 2010中被正式包含。