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

指令式編程（英語：Imperative programming）；是一種描述電腦所需作出的行為的编程范型。幾乎所有電腦的硬體都是指令式工作；幾乎所有電腦的硬體都是能執行机器语言，而機器碼是使用指令式的風格來寫的。較高階的指令式编程语言使用變數和更複雜的語句，但仍依從相同的典範。菜譜和行動清單，雖非...

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

过程式程序设计（英語：Procedural programming），又稱过程化編程，一種編程典範，衍生自指令式編程，有時會被視為是同義語。主要要採取过程调用或函数调用的方式來進行流程控制。流程則由包涵一系列運算步驟的过程（Procedures），例程（routines），子程序（subroutines）...

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

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

使用模板作為元编程的技術需要兩階段的操作。首先，模板必須被定義；第二，定義的模板必須被實體化才行。 模板的定義描述了生成源碼的一般形式，而使實體化則導致了某些源碼的組合根據該模板而生成。 模板元編程是一般性地圖靈完全（Turing-complete），這意味著任何可被電算軟體表示的運算都可以透過模板超編程以某種形式去運算。...

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

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

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

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

在計算機科學的編程中，敘述（又稱陈述式、叙述、述句、描述式、陳述句）是指令式編程語言中最小的獨立元素，表達程序要執行的一些動作。多數敘述是以高階語言編寫成一或多個敘述的序列，用於命令計算機執行指定的一系列操作。單一個敘述本身也具有內部結構（例如表達式）。 許多語言（例如說，C語言）將敘述與定義句（d...

编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式程式設計，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為語法（英语：Syntax (programming languages)）及語義。語法是說明編程...

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

Puppet是一种软件配置管理工具，它是一种模型驱动的解决方案，通過宣告式編程来管理IT基础设施以及数据中心和雲端運算的操作系统和应用程序的安裝、修補程式、配置管理和管理， 因此需要用戶有一定的编程知识才能使用。 Puppet由卢克·卡尼斯 (Luke Kanies) 于2005年创立。 Release...

Markup Language 或 Qt Meta Language 或 Qt Modeling Language) 是基於JavaScript、宣告式編程的程式語言，用於設計圖形使用者介面為主的應用程式。它是Qt Quick（英语：Qt Quick），諾基亞開發的使用者介面建立套件的一部分。QML...

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

在计算中，响应式编程或反应式编程（英語：Reactive programming）是一种面向数据串流和变化传播的声明式编程范式。这意味着可以在编程语言中很方便地表达静态或动态的数据流，而相关的计算模型会自动将变化的值通过数据流进行传播。 例如，在命令式编程环境中， a := b + c {\displaystyle...

隐式（tacit）编程，或称为函数级编程，是一种编程范型，也叫做无点（point-free）样式。其中函数定义不标示所要操作的参数（或称“点”），转而函数定义只是其他函数的复合，比如那些操纵参数的组合子。隐式编程有着理论价值，因为严格的使用复合导致程序非常适配于方程式推理（英语：Equational...

串接式（concatenative）编程语言，是无点的计算机编程语言，在其中所有表达式都指示为函数，而表达式的并列指示函数复合。串接式编程语言将常见于其他编程样式中的函数应用（英语：Function application），替代为函数复合（英语：function composition (computer...

Curl语言是一种被设计来编写网络程序的编程语言。由美國的麻省理工學院開發。它的目标是以一种单一的语言来取代HTML，Cascading Style Sheets（层叠样式表）和JavaScript，虽然它目前并未在世界范围内被广泛使用，但在日本有一定的普及。...

在计算机学中，反射式编程（英語：reflective programming）或反射（英語：reflection），是指计算机程序在运行时（runtime）可以访问、检测和修改它本身状态或行为的一种能力。用比喻来说，反射就是程序在运行的时候能够“观察”并且修改自己的行为。 要注意术语“反射”和“内省”（type...

結構化程式設計（英語：Structured programming），一種編程典範。它採用子程序、块结构、for迴圈以及while迴圈等結構，來取代傳統的 goto。希望藉此來改善计算机程序的明晰性、品質以及開發時間，並且避免寫出麵條式代碼。 結構化程式設計在1960年代開始發展，科拉多·伯姆（英语：Corrado...

Lustre是形式化定义的、声明式和同步式的数据流程编程语言，用于响应式系统编程。它在1980年代前期成为了研究项目，受到过Lucid语言的影响。这个语言的形式表述可以在1991年的《Proceedings of the IEEE》找到。在1993年，它发展进入实际的商业和工业使用，成为一个商业产品...

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

Native是一個Meta研發的開放源碼的應用程式架构。React Native基於React.js，目的是讓開發者可以利用JavaScript和React.js的宣告式編程模式開發出在多平台上運作的程式。React Native也可以使用React.js相容的Node.js套件，比如Redux。 React...

Cloud所使用的语言。这是一种由沃尔夫勒姆研究公司开发的多范型编程语言。这是用于Mathematica和Wolfram Programming Cloud （页面存档备份，存于互联网档案馆）的主要界面编程语言 。它具有广泛和普遍的适用性，主要特点是符号计算、函数式编程和基于规则的编程。它可以用来创建和表示任何结构和数据。...

约束编程（Constraint programming）是一种編程典範，在这种编程范式中，变量之间的“关系”是以约束的形式陈述（组织）的。这些“关系（约束）”和命令式编程语言元素不同的是：它们并非明确说明了要去执行的步骤中的某一步，而是規範其解的一些属性。这样看来，约束编程是一种声明式编程。...

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

Microsoft Power Fx是一种低階、通用的编程语言。 该编程语言於Ignite 2021上首次公布，规范于2021年3月发布。 由於Microsoft Power Fx有點类似於電子試算表，所以門檻較低，特別對於Excel用户來說，他們上手更容易。Power Fx也受到Pascal語言、Wolfram...

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