编程范式 | 核心概念 | 关键突破 | 主要目的 |
| 代表语言 | 运行机制 | 实现原理 | 常见应用 |
| 命令式/过程式 （Imperative/Procedural） | 命令/过程 （Command /Procedure） | 突破单一主程序和非结构化程序的限制 | 模拟机器思维，实现自顶向下的模块设计 |
| Fortran/Pascal/C | 命令执行 | 引入逻辑控制和子程序 | 交互式、事件驱动型系统；数值计算等 |
| 函数式/应用式 (Functional/Applicative） | 函数 （Function） | 突破机器思维的限制 | 模拟数学思维，简化代码 |
| Scheme/Haskell | 表达式计算 | 引入高阶函数，将函数作为数据处理 | 微积分计算；数学逻辑；博弈等 |
| 逻辑式 （Logic） | 断言 （Predicate） | 突破逻辑与控制粘合的限制 | 专注逻辑分析，减少控制代码 |
| Prolog/Mercury | 逻辑推理 | 利用推理引擎在已知的事实和规则的基础上进行逻辑推断 | 机器证明；专家系统；自然语言处理；语义网（semantic web）；决策分析；业务规则管理等 |
| 对象式 （Object-Oriented） | 对象 （Object） | 突破数据与代码分离的限制 | 迎合人类认知模式，提高软件的易用性和重用性 |
| Smalltalk/Java
| 对象间信息交换 | 引入封装、继承和多态机制 | 大型复杂交互式系统等 |
| 并发式/并行式 （Concurrent/Parallel） | 进程/线程 （Process/Thread） | 突破串行的限制 | 充分利用资源、提高运行效率、提高软件的响应能力 |
| Erlang/Oz
| 进程/线程间通讯与同步 | 引入并行的线程模块以及模块间的通讯与同步机制 | 图形用户界面；I/O处理；多任务系统如操作系统、网络服务器等；实时系统；嵌入式系统；计算密集型系统如科学计算、人工智能等 |
| 泛型式 （Generic） | 算法 （Algorithm） | 突破静态类型语言的限制 | 提高算法的普适性 |
| Ada/Eiffel/C++
| 算法实例化 （多发生于编译期） | 利用模板推迟类型指定 | 普适性算法如排序、搜索等；集合类容器等 |
| 元编程 （Metaprogramming） | 元程序 （Metaprogram） | 突破语言的常规语法限制 | 减少手工编码，提升语言级别 |
| Lisp/Ruby/JavaScript | 动态生成代码或自动修改执行指令 | 利用代码生成或语言内建的反射（reflection）、动态等机制，将程序语言作为数据来处理 | 自动代码生成；定义结构化配置文件；IDE；编译器；解释器；人工智能；模型驱动架构（MDA）；领域特定语言（DSL）等 |
| 切面式 （Aspect-Oriented） | 切面 （Aspect） | 突破横切关注点无法模块化的限制 | 实现横切关注点分离 |
| AspectJ/AspectC++
| 在接入点处执行建议 | 通过编织（weaving）将附加行为嵌入主体程序 | 日志输出；代码跟踪；性能监控；异常处理；安全检查；事务管理等 |
| 事件驱动 （Event-Driven） | 事件 （Event） | 突破顺序、同步的流程限制 | 调用者与被调用者在代码和时间上双重解耦 |
| C#/VB.NET | 监听器收到事件通知后做出响应 | 引入控制反转和异步机制 | 图形用户界面；网络应用；服务器；操作系统；IoC框架；异步输入；DOM等 |