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

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

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

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

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

發的原生程式碼編譯器，自R11B-4版本開始，Erlang也支持脚本方式执行。在編程範型上，Erlang屬於多重典範程式語言，涵蓋函數式、并行及分布式。循序執行的Erlang是一个及早求值, 單次賦值和动态类型的函數式程式語言。 它由喬·阿姆斯特朗（Joe Armstrong）在瑞典電信設備製造商...

这使得拥有极大的灵活性和强大的功能。在多数情况下，在其他編程語言中需要用一大段程序才可实践的一个单独事件，而其在SQL上只需要一个语句就可以被表达出来。这也意味着用SQL可以写出非常复杂的语句，在不特別考慮效能下。 SQL同時也是数据库文件格式的扩展名。 SQL包含四个部分： 資料定義語言 資料操縱語言...

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

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

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

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

CSP模糊的约束关系，在这种情况下约束满足是变量的连续函数，从完全满足到完全不满足。 约束满足 声明式编程 规划约束 分布式约束满足问题（DisCSP） Stuart Jonathan Russell; Peter Norvig. Artificial Intelligence:...

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

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

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

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

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

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

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

第五代編程語言（5GL）是一種期望計算机能自動化問題求解的意圖，基於問題所給定的某些限制，交由程序來處理而不需以程序員再投入人力開發程式。多數基於限制式和邏輯推演的編程語言，以及其它一些宣告式的語言，或可歸類為第五代編程語言。 雖然第四代程式語言是為了構建特定的程序而設計的，但第五代語言的設計目的...

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

SQL-92是SQL数据库查詢語言規範的第三次修订。与SQL-89不同的是，此次修訂是SQL数据库查詢語言标准的一次改動較大的修订。除了一些小細節不兼容之外，SQL-92可以向前兼容SQL-89标准。与SQL-89相比，SQL-92規範內容增长了大约五倍。 Jim Melton; Alan R. Simon...

Friedman-Hill）开发。它的第一个版本写于1995年晚期。 Jess提供适合自动化专家系统的逻辑编程，它常被称作“专家系统外壳”。近年来，智能代理系统也在相似的能力上发展起来。 与一个程序中有一个只运行一次的循环的指令式編程语言不同，Jess使用的宣告式编程通过一个名为“模式匹配”的过程连续的对一个事实的集合运用一系列规则。...

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

物件導向程式設計通常共享高階編程語言的低階功能。可用於建構一個程序的基本工具包括： 變數：能儲存一些內建型態的資訊如整數與字元，也有些是資料結構像是字串、串列與雜湊表等包含內建或複合的變數如指標。 程序：也稱為函式、方法或例程，是指輸入資料產生輸出結果，現代語言還包含結構化編程結構如程式迴圈與條件。 支持面向对象編程...

TinkerPop开发的图遍历语言和虚拟机。Gremlin适用于基于OLTP的图数据库以及基于OLAP的图处理器。Gremlin的函数式语言和自动机基础使Gremlin能够自然地支持指令式和声明式查询、主机语言不可知性、用户定义的领域特定语言、可扩展的编译器/优化器、单机和多机运行模型、混合深度和广度优先评估以及图灵完备性。...

式預測及種系發生學等的生物學問題 計算神經科學 - 神經生理學的計算模式. 程式設計師 軟體設計師 軟體測試 抽象化 演算法 數組 自動機理論 大O符號 類 (電腦科學) 閉包 編譯器 計算 可計算性 計算複雜性理論 電腦網路 程式設計 並行 延續 控制流 資料結構 資料型別 資料庫 宣告式編程 有限狀態自動機...

Vibe coding（有譯氛圍編程[來源請求]）是一種使用AI輔助的編程范式，程式設計師會用提示描述要處理的問題，提供給軟體開發專用的大型语言模型（LLM）。应用程序的原始碼是由大型语言模型產生，程式設計師的工作從原來的撰寫程式碼，改為指導AI產生程式碼，測試及優化程式碼。Vibe...

Swift編程語言，支持多编程范式和編譯式，用来撰写基于macOS/OS X、iOS、iPadOS、watchOS、tvOS和visionOS的软件。 苹果公司于2014年在苹果开发者年会（WWDC）發布了Swift编程语言。从设计上苹果公司让Swift与Objective-C共存在苹果公司的操作系统上。...

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

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