基于类编程（英語：class-based programming），又稱類別為基的程式設計、類別導向（class-orientation），是物件導向程式設計（OOP）的一種風格，在程式設計時，強調物件（object）的類別（class）。 在這種編程範式中，一個物件必須基於...

基于原型编程（英語：prototype-based programming）或称为原型程序设计、原型编程，是面向对象编程的一种风格和方式。在原型编程中，行为重用（在基于类的语言通常称为继承），是通过复制已经存在的原型对象的过程实现的。这个模型一般被认为是无类的、面向原型、或者是基于实例的编程。...

编程范型、编程范式或程式設計法（英語：Programming paradigm），是指软件工程中的一类典型的编程风格。常见的编程范型有：函数式编程、指令式編程、过程式编程、面向对象编程等等。 编程范型提供并决定了程序员对程序执行的看法。例如，在面向对象编程中，程序员认为程序是一系列相互作用的对象，由...

面向堆栈编程，或基于堆栈编程，是依赖于堆栈机器模型来操纵数据和传递参数的编程范型。一些编程语言适合这种描述，著名的有Forth、RPL（英语：RPL (programming language)）、 PostScript、BibTeX风格设计语言和很多汇编语言。...

在计算机编程中，基于流程（flow-based）编程，缩写为FBP，是一种编程范型，它将应用定义为黑箱进程的网络，它们经过预先定义的连接，通过消息传递来交换数据，而这里的连接是在“外部”指定给进程的。这些黑箱进程不需要更改内部，就可以无尽的重新连接而形成不同的应用。FBP因而是天然基于构件的。...

通常由多个Java包组成——并且在任何情况下，接口编程可以提供优于仅使用Java包的优势，即使组件仅由单个Java包组成。 基于接口的编程将应用程序定义为组件的集合，其中组件间的应用程序接口（API）调用可能只通过抽象化接口完成，而没有具体的类。类的实例化一般通过使用如工厂模式等技术的其他接口完成。...

基于对象语言（英語：object-based language），常指某种编程语言使用了“对象”该概念，即将状态和操作封装（包裹）在“对象”里面。面向对象语言除了拥有“对象”该概念以外，还拥有继承等功能。面向对象语言是基于对象编程语言的子集。 在这种定义下，基于原型是基于...

模块化编程，指称将整个程序的代码分开成各部份的高层分解。 结构化编程，是采用结构化控制流的低层代码使用。 面向对象编程，是对象的“数据”使用，对象是某种数据结构。 在面向对象编程中，使用接口作为一种架构上的模式（pattern）来构造模块叫做基于接口编程 。 模块没有包括在最初的ALGOL 68（1968年）规定中，但是作为扩展被包括于早期的实现中，如ALGOL...

函数式编程，或称函数程序设计、泛函编程（英語：Functional programming），是一种编程范型，它将电脑运算视为函数运算，并且避免使用程式状态（英语：State (computer science)）以及可變物件。 在函数式编程中，函数是头等对象即头等函数，这意味着一个函数，既可以作为...

编程。 可视化、数据流 LabVIEW 函数式、逻辑 ALF 面向对象，函数式 Dylan Sather Claire 函数式，可视化 Spreadsheet 面向对象（基于类），可视化 Lava Mathematica 并发编程，约束编程，数据流编程，声明性编程，分布式的编程，函数式编程...

同步式（synchronous）编程，也叫做同步式响应式编程或缩写为SRP，是为响应式系统编程而优化的一种计算机编程范型。同步式编程语言，是支持同步式编程范型的计算机编程语言。 计算机系统可以归入三大类别： 变换式系统，接受输入、对其进行处理、递送出输出、并终止它们的执行，典型例子是编译器；...

自动机编程（英語：Automata-based programming）是編程範式中的一種，是指程式或其中的部份是以有限狀態機（FSM）為模型的程式，有些程式則會用其他型式（也更複雜）的自動機為其模型。 有限狀態機編程（英語：FSM-based programming）大致上等同於自动机编程...

object）编程模型中，使用分布式数据流程（英语：Distributed data flow）来存储和沟通状态，因而它们扮演了类似于类Java编程语言中变量、字段和参数的角色。 传统上，程序被建模为，按照特定次序发生的一系列运算；这称为指令式编程，这种编程方式也叫做顺序式、过程式、控制流程...

在编程语言中，抽象类型是指名義型別系統中不能直接实例化的类型；而非抽象的类型，即可以实例化的类型，則被称为具体类型。 一个抽象类型可以不提供实现，或者不完整的实现。在一些语言中，没有实现的抽象类型被称为协议、接口。在基于类编程以及面向对象程序设计中，抽象类型被实现为抽象类（也被称为抽象基类），而具体类型被实现为具体类。...

元編程（英語：Metaprogramming），又譯超編程，是指某类计算机程序的编写，这类计算机程序编写或者操纵其它程序（或者自身）作为它们的資料，或者在编译时完成部分本应在运行时完成的工作。多数情况下，与手工编写全部代码相比，程序员可以获得更高的工作效率，或者给与程序更大的灵活度去处理新的情形而无需重新编译。...

的委托。如果语言特性支持成员查询规则，则可以做隐式的委托。隐式委托是基于原型编程中行为重用的基本方法，对应于基于类编程的继承。支持委托的最知名语言是Self和JavaScript。 术语委托在两个对象之间还有别的用法。见委托 (编程)。最容易混淆的是在接收者的上下文中，与发送者成员对应的接收者成员被...

Elixir是一个基于Erlang虚拟机的函数式、面向并行的通用编程语言。Elixir以Erlang为基础，支持分布式、高容错、实时应用程序的开发，亦可通过宏实现元编程对其进行扩展，并通过协议支持多态。 José Valim是Elixir语言的设计者。他创造该语言的目标是在维持与现有Erlang工...

函数式响应式编程(FRP) 是一种编程范式，它采用函数式编程的基础部件（如map、reduce、filter等），进行响应式编程（异步数据流程编程）。FRP被用于GUI、机器人和音乐方面的编程，旨在通过显式的建模时间来简化这些问题。 函数式响应编程，自从1997年由Conal Elliott和保罗·胡达客在ICFP...

邏輯編程（逻辑程序设计）是種編程典範，它設定答案須符合的規則來解決問題，而非設定步驟來解決問題。過程是 算法=邏輯+控制。 不同的方法，可以看英語：Inductive logic programming。 邏輯編程的要點是將正規的邏輯風格帶入電腦程式設計之中。數學家和哲學家發現邏輯是有效的理論分析...

在计算机科学中，“克隆”指对一个对象制作一个完全相同的副本，其常常在基于原型编程中的编程范型或者面向对象程序设计（OOP）中用到。 在大多数编程语言中（但除了：Ruby等一些语言），例如double、float、int、long等一些原始型別仅仅将它们的值存储于计算机内存中的某处（通常为调用栈中）。...

在计算机系统中，任何时候基于某种模型的一个新的東西被創建後，都可以说该模型已经被实例化。这个实例通常与其他基於同一模型的实例有一个共同的数据结构，但储存在实例中的值是独立的。这样，改变一个实例中的值就不会干扰到其他一些实例的值。 在面向对象程序设计中，实例是任何对象的具体實現，创建一个实例被称为实例化。在基于类编程...

类）都是头等对象。Dylan支持多重继承、多态、多分派、关键字参数（英语：Named parameter）、对象内省、基于模式的语法扩展宏和很多其他高级特征。程序可以表达在动态性上的细粒度的控制，允许程序占据在动态和静态编程之间的连续区，并支持演进式开发（允许先快速原型随后增进精制和优化）。...

在计算机科学中，纯函数式编程通常指示一种编程范型，这是建造计算机程序的结构和元素的一种风格，就是将所有计算都当作数学函数的求值（evaluation）。纯函数式编程还可以定义为禁用状态（英语：State (computer science)）变更和可变数据。 纯函数式编程...

强函数式编程（也称为全函数式编程），与之相对的是普通的或者说弱函数式编程。是一种编程范式，它将程序的范围限制为可证明停机的程序。 在满足下列限制的条件时，程序一定会终止： 受限制的递归。仅对其参数的“简化”形式进行操作，例如Walther 递归、子结构递归或通过代码的抽象解释证明的“强规范化”。...

在计算机科学中，阵列编程指称允许向作为整体的一组数值同时应用运算操作的一种解决方案。这种方案经常用于科学和工程上的各种场合（settings）。 支持阵列编程的现代编程语言（也叫做向量或多维语言），已经具体的工程设计为将在标量上的运算，推广为透明的适用于向量、矩阵和高维数组。其典型例子是APL/J语言、Fortran...

编程环境，不仅是用于教会孩子们一些编程的概念，而且是包含物理和数学知识的模拟及讲述故事的一些练习。Smalltalk和Squeak作为全功能的应用程序开发语言，在过去的数十年中已经变得十分有名了，而Scratch是孩子们学习的工具。 Scratch 是一种基于 Squeak、并由...

宣告式編程（英語：Declarative programming）或译为声明式编程，是對與指令式編程不同的編程範型的一種合稱。它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程。 常見的宣告式語言包括：資料庫查詢語言如SQL的查询子集和XQuery（英语：XQuery），正则表达式...

在计算机科学中，函数级（Function-level）编程，指称John Backus在他的将程序作为数学对象来研讨的著作中标识出的两种对立编程范型之一，另一种是值级（Value-level）编程。在Backus研究并出版他自己的函数级风格编程之时，他的提议在很大程度上被误解为支持传统的函数式编程。...

程式碼集體共有 簡單設計 系統隱喻 可持之以恆的速度 在第二版的《極限編程解析》中，在主要實踐之外，還列出了一系列延伸的實踐。 核心實踐源自被廣泛接受的最佳實踐，並且被推向極致： 开发人员和客户之间的交互是有益的。因此，一个极限编程的小组从理论上要求需要一个软件使用者在身边，这个使用者制定软件的工作...

通过深入学习反射的特性和技巧，它的劣势可以尽量避免，但这需要许多时间和经验的积累。 下列代码片段建立类Foo的一个实例foo，并调用它的方法PrintHello。对于每个编程语言，展示平常的和基于反射的调用序列。 // Without reflection Foo foo = new Foo();...

面向特性编程（@OP）是一种程序层面的标记技术。编程者可以给程序元素（例如类和方法）标记上特性（attribute），来指示它们包含特定于应用或特定于领域的语义。 特性将一个应用的核心逻辑（或业务逻辑）同特定于应用或特定于领域的语义（比如日志和网页服务功能）分离开来。 例如，一些编程...