编程范型

编程范式
面向代理 基于组件 基于流 管道 连续式 并发计算 声明式（对比：命令式） 函数式 面向图形 目标导向 约束 约束逻辑 逻辑 回答集编程 溯因逻辑 归纳逻辑 数据流 面向细胞（电子表格） 响应式 事件驱动 面向服务 时间驱动 功能导向 函数级（对比：价值级） 命令式（对比：声明式） 非结构化 向量（对比：标量） 迭代式 结构化 程序式 模块化 递归式 面向对象 基于类 基于原型 自动机 根据关注分离: 面向方面 面向主题 面向角色 元编程 面向属性 自动 泛型 模板 基于原则 面向语言 领域特定 面向语法 方言化 意图 反射式 巨集 不确定 并行计算 面向过程 大规模编程与小规模编程 价值级（对比：函数级）

编程范型、编程范式或程式設計法（英語：Programming paradigm），（範即模範、典範之意，範式即模式、方法），是一类典型的编程风格，是指从事软件工程的一类典型的风格（可以对照方法学）。如：函數式編程、程序式編程、面向对象编程、指令式编程等等為不同的编程范型。

编程范型提供了（同时决定了）程序员对程序执行的看法。例如，在面向对象编程中，程序员认为程序是一系列相互作用的对象，而在函数式编程中一个程序会被看作是一个无状态的函数计算的序列。

正如软件工程中不同的群体会提倡不同的「方法学」一样，不同的编程语言也会提倡不同的「编程范型」。一些语言是专门为某个特定的范型设计的（如Smalltalk和Java支持面向对象编程，而Haskell和Scheme则支持函数式编程），同时还有另一些语言支持多种范型（如Ruby、Common Lisp、Python和Oz）。

很多编程范型已经被熟知他们禁止使用哪些技术，同时允许使用哪些。例如，纯粹的函数式编程不允许有副作用；结构化编程不允许使用goto。可能是因为这个原因，新的范型常常被那些习惯于较早的风格的人认为是教条主义或过分严格。然而，这样避免某些技术反而更加证明了关于程序正确性——或仅仅是理解它的行为——的法则，而不用限制程序语言的一般性。

编程范型和编程语言之间的关系可能十分复杂，由于一个编程语言可以支持多种范型。例如，C++设计时，支持过程化编程、面向对象编程以及泛型编程。然而，设计师和程序员们要考虑如何使用这些范型元素来构建一个程序。一个人可以用C++写出一个完全过程化的程序，另一个人也可以用C++写出一个纯粹的面向对象程序，甚至还有人可以写出杂揉了两种范型的程序。

例子

• 结构化编程對比非结构化编程
• 命令式编程對比宣告式编程
• 消息传递编程對比命令式编程
• 步骤式编程對比函数式编程
• Value-level programming對比Function-level programming
• 流程驱动编程對比事件驱动编程
• 纯量编程对比阵列编程
• 基于类编程对比基于原型编程（在面向对象编程的上下文中）
• Rule-based programming對比Constraint programming（在逻辑编程的上下文中）
• 基于组件编程（如OLE）
• 面向方面编程（如AspectJ）
• 符号式编程（如Mathematica）
• 面向表格编程（如Microsoft FoxPro）
• 管道编程（如Unix命令中的管道_(Unix)）
• Post-object programming
• 面向主题编程
• 自省编程或称反射编程

参见

• Ars based programming
• Memetics