3-4课：各种花式编程语言大放送

编程范型（programming paradigms）

我们来学习一个新概念：编程范型。

定义和分类

范型（Paradigm）这个词来源于希腊语 “paradeigma”，有“模式，例子，样例”的意思。

听着有点悬。其实，编程范型就是程序组织和实现计算的模式，也可以简单理解成一种编程的风格。

编程范型可以大致分为两大类：

• 命令式（imperative）：程序一句句地告诉机器该去干什么。

  这类范型包括：

  • 过程式（procedural）：把一组组指令封装成过程，程序的组织形式是：算法过程 + 数据结构。
  • 面向对象（object-oriented）：把数据和针对数据的操作封装成对象，程序是互相通信的对象的集合。

• 宣言式（declarative）：程序告诉计算机它想要什么样的结果，而不是告知获得结果的过程。

  这类范型包括：

  • 函数式(functional)：把运算过程封装成函数，程序是各种函数的组合。