【转贴】编程语言范式

编程语言范式

做者： lisperl  来源： 博客园  发布时间：2011-11-20 15:20  阅读：1164 次   原文连接    [收藏]  

许多现存的编程语言均可基于其计算模型加以分类，纳入某些语言族，或者属于某种编程范式。按照不一样的规则，能够有多种分类的方法，并且不一样的学者对某些语言的具体归属也有不一样的意见。这里咱们给出一种语言谱系： 

说明式（Declarative ）

　　函数式  Lisp,ML,Haskell 

　　数据流  ld,Val

　　逻辑式  Prolog

　　基于模板的 XSLT

命令式（ Imperative ）

　　冯诺依曼 C,Ada,Fortran

　　　　脚本式 Perl,Python,PHP

　　面向对象 Smalltalk,C++,Java

　　值得注意的是这里并无列出全部的编程范式，由于有些编程范式并不能按以上的方法进行分类，好比：元编程，泛型编程。另外还有一点就是并非一种语言就只从属于一种编程范式，事实上有些语言自己就是为支持多范式设计的，好比：Lisp就同时支持函数式编程、面向对象、元编程。

　　下面来分别介绍上面列出的几种编程范式：

　　函数式（functional）语言采用一种基于函数的递归定义的计算模型。他们的灵感来自于lambda 演算。本质上，程序被看做是一种从输入到输出的函数，基于一些更简单的函数，经过一种逐步精化的过程定义。函数式语言语言进行计算的主要方式是将函数做用于给定参数之上的。在函数式语言的程序设计中能够没有命令式语言所必需的那种变量，能够没有赋值语句，也能够没有循环。纯函数式语言是没有反作用的。从某种程序上，函数式语言表明了对计算机的一种数学模型(lambda 演算)的实现。Lisp是第一个函数式语言，但并非纯函数式语言。典型的函数式语言有F#、ML和Haskell。

　　数据流（Dataflow）语言将计算当作在一些基本的功能结点之间流动的信息流。这些语言提供了一种具备内在并行性的模型：结点由输入单词的到达触发，可以并发操做。

　　逻辑式（Logic）或基于约束的（constrained-based）语言有命题逻辑获得灵感，他们把计算看做是一种目标制导的搜索过程，设法根据一集逻辑规则找出知足某些特定关系的值。Prolog是最有名的逻辑式语言。

　　冯诺依曼语言是咱们最熟悉的，也是最成功的。全部把修改变量的值看成最基本计算方式的语言均可以称做冯诺依曼语言，包括咱们熟悉的C,Fortran等待。这类语言是创建冯诺依曼体系结构之上的。因为冯诺依曼体系结构，这类语言的核心有：模拟存储单元的变量，基于传输操做的赋值语句，以及迭代形式的循环运算。所以从某种程序上，这类语言是基于计算机的另外一种数学模型（图灵机）的，实现了对计算机硬件结构的抽象。函数式语言的基础是具备值的表达式，而冯诺依曼语言的基础是语句（特别是赋值），他们经过修改存储器里面的值而产生反作用（side effect）的方法去影响后续计算。

　　脚本语言（Scripting）是冯诺依曼语言的一个子类，特色在于强调其主要用途是把用其余语言开发的独立程序做为部件“粘到一块儿”。Python就是著名的胶水语言，一些脚本语言都有特定的用途（好比 bash是*nix系统的shell语言）。可是像Perl Python Ruby倒是但愿做为通用语言的。

　　面向对象（object-oriented）语言最先能够追溯到simula 67，可是真正让面对对象流行起来的是smalltalk，甚至object-oriented这个词就是smalltalk的做者发明的。大部分面向对象语言都与冯诺依曼语言有很深的渊源，只是在存储和计算两方面采用了一种更加结构化和分布式的模型。面向对象语言将计算创建在独立的对象的相互做用至上。每一个对象有其自身的内部状态，以及管理自身状态的可执行子程序。

　　最后要强调的一点是，语言类之间的划分不是绝对的，划分的方法也不止一种。这里再给出另外一种常见的分类方法：

　　命令式编程

　　函数式编程

　　面向对象编程

　　逻辑式编程

　　btw:这里的命令式编程语言就至关于冯诺依曼语言，也基本等同于一般所说的面向过程编程。

 

　　参考文献：程序设计语言-实践之路  Michael Scott