在计算机编程中，声明是一种指定标识符属性的语言结构。 声明最常用于子程序、变量、常量和类，但也可用于其他实体，例如枚举。 声明通常還能指定資料類型（对于变量和常量）以及类型签名（对于函数） 。 "A declaration specifies the interpretation and attributes...

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

多范型编程语言（英語：Multi-paradigm programming language），是一種可以支持超過一種編程范型的程式語言。「Multi-paradigm」这个词是由丹麥計算機科學家比雅尼·斯特劳斯特鲁普（Bjarne Stroustrup）博士在其著作中提出的，用于表述C++可以同时...

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

编程随想的博客多次成为中國當局网络攻击的目标。編程隨想曾表示，若其在全平台無任何活動超過2周，則意味著遭到當局跨省抓捕或人身受到重大傷害。2020年底至2021年期間，阮晓寰經常抱怨網路不穩定，而且在自己經常光顧的漢堡王裡被警察問話。2021年5月9日，編程...

Mercury是为现实世界使用而开发的函数式逻辑编程语言。最初版本是墨尔本大学计算机科学系的Fergus Henderson、Thomas Conway和Zoltan Somogyi在Somogyi监督下完成的，并在1995年4月8日发行。 Mercury是纯声明式逻辑编程...

声明的元素。 模块化编程密切相关于结构化编程和面向对象编程，它们有着相同目标，即通过分解成更小部份的方式，促进大型软件和系统的建构，并且都大致起源于1960年代。尽管这些术语在历史上的用法曾经是不相容的，在现代的术语运用中： 模块化编程，指称将整个程序的代码分开成各部份的高层分解。 结构化编程，是采用结构化控制流的低层代码使用。...

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

回答集编程是语法上类似传统逻辑编程而语义上密切于非单调逻辑的一种声明式编程。在传统逻辑编程和回答集编程之间的主要区别是如何表示否定为失败。在传统逻辑编程中，否定为失败指示推导失败；在回答集编程中，它指示一个文字的一致性。 回答集编程由规则的集合构成，每个规则由一个头部和一个后部构成: h e a d...

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

在计算机编程中，块（block）或译为程式區塊、代码块，是将源代码组织在一起的词法结构。块构成自一个或多个声明（英语：Declaration (computer programming)）和语句。编程语言允许创建块，包括嵌入其他块之内的块，就叫做块结构编程语言。块和子程序是结构化编程的基础，结构化所强调的控制结构可以用块来形成的。...

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

Pascal是一个指令式编程和面向过程编程语言，由尼克劳斯·维尔特在1968年9月设计，在1970年发行，作为一个小型的和高效的语言，意图鼓励使用结构化编程和数据结构进行良好的编程实践。 称作Object Pascal的一个衍生是为面向对象编程设计的。 Pascal基于ALGOL编程...

編程語言常用的符號只有中文字和引號，亦不須分行，以符合古人的書寫習慣。 文言文編程語言的开发者是来自卡内基梅隆大学的大四学生黄令东。在这一语言之前，他曾成功设计出了电脑自动作中国山水画的程序。2019年，他萌生出文言编程的想法，那时他刚完成编程...

可擦除可编程只读存储器（英語：Erasable Programmable Read Only Memory），由以色列工程師Dov Frohman發明，是一種斷電後仍能保留數據的計算機儲存芯片——即非易失性的（非揮發性）。它是一組浮柵晶體管，被一個提供比電子電路中常用電壓更高電壓的電子器件分別編程...

Dylan是多范型的编程语言，包括了支持函数式和面向对象编程（OOP），它是动态和反射式的，却提供了设计用于支持生成高效机器代码的编程模型，包括了在动态和静态行为上的细粒度的控制。它是在1990年代早期由苹果公司领导的群组创造的。 在Dylan参考手册中有简明而彻底的语言概述。Dylan派生自Scheme和Common...

归纳编程（IP），是特定领域的自动编程，覆盖了人工智能和计算机编程的一些研究领域，它致力于典型的声明式（逻辑式或函数式）且常为递归式程序的机器学习，它们面向不完全的规定比如输入/输出例子或约束。 依赖于使用的编程语言，有很多种归纳编程。“归纳函数式编程”，使用函数式语言比如Lisp或Haskell。...

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

华为宣称，仓颉编程语言具有原生智能化、天生全场景，高性能、强安全等特点。从语言规范的制定到实现，以及未来的语言社区都将实现自主可控。 仓颉内置了AgentDSL框架，简化了agent协作和符号表达式。仓颉语言使用用户模式线程和并发对象库来简化开发并提高资源利用率，在编...

與 PHP等。 物件導向程式編程的定義是使用「物件」來做設計，但並非所有的程式語言都直接支援「物件導向程式編程」相關技術與結構。对于OOP的准确定义及其本意存在着不少争论。通常，OOP被理解为一种将程序分解为封装数据及相关操作的模块而进行的编程方式。有别于其它编程...

JavaScript（通常缩写为JS）是一门基于原型和头等函数的多范式高级解释型编程语言，它支持面向对象程式設計、指令式编程和函数式编程。它提供方法来操控文本、数组、日期以及正则表达式等。不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它由Ecma通过ECMAScript实...

在程序设计中，前向声明（Forward Declaration）是指提前声明，但还没有给出完整的定义的标识符(表示编程的实体，如数据类型、变量、函数)。 一個簡單的C/C++例子： void printThisInteger(int); 在C++中, 上行代码是一个函数的前向声明...

Miranda，是一種惰性求值的纯函数式編程語言，由英國學者大衛·特納（英语：David Turner (computer scientist)）所設計。採用來自ML與Hope语言的概念，他用此來作為他先前所設計的SASL與KRC语言的後繼者。這個程式語言由英國的研究軟體公司出品，這間公司擁有這個程式語言的商標權。...

Lisp（過去拼寫為LISP）是具有悠久歷史的計算機編程語言家族，有獨特的完全用圓括號的前綴符號表示法。它起源於1958年，是現今第二悠久而仍廣泛使用的高階程式語言，只有FORTRAN編程語言比它更早一年。Lisp編程語族已經演變出許多種方言，現代最著名的通用編程方言是Scheme、Common Lisp和新近的Clojure。...

Elm是一个领域特定编程语言，用于声明式地创建基于web浏览器的图形用户界面。Elm是纯函数式的，开发它时强调了易用性、性能和健壮性。它宣传为“实际上没有运行时间异常”，Elm编译器的静态类型检查使之成为可能。 Elm最初由Evan Czaplicki在2012年作为毕业论文《Elm：用于函数式G...

Falcon编程语言（英語：The Falcon Programming Language），又稱Falcon P.L.、Falconpl或Falcon，是一个开源、多范式编程语言，其设计和推廣由Giancarlo Niccolai领导。 Haste於2002年編寫一個小型項目，用以實現一小型虛擬機...

a 等於 b，那麼我們可以在任何情況下互換 a 或 b，而不會產生任何差異。”但這樣的聲明不一定成立，尤其在將可變性和內容等同性一起考慮時。 有時，特別是在物件導向編程中，對資料型別和繼承物件進行比對時，出現了相等性和辨別的問題。以下情況通常需要區別： 相同型別的兩個不同物件，例如兩隻手...

深奥的编程语言（Esoteric programming language，有时简写为Esolang）是一类编程语言，它们被设计用于测试计算机语言表达的极限，或者作为一个概念的证明(POC)，或仅仅是一个程序员的冷玩笑。esoteric将它们与开发人员真正用于编写软件的语言区别开来。通常情况下，E...

Ruby 是一种面向对象、指令式、函数式、动态的通用编程语言。在20世纪90年代中期由日本電腦科學家松本行弘（Matz）设计并开发。 遵守BSD许可证和Ruby License。它的灵感与特性来自于Perl、Smalltalk、Eiffel、Ada以及Lisp语言。由Ruby语言本身还发展出了JRu...

程支援。Lua原生支援的数据类型很少，只提供了数值（默认是双精度浮点数，可配置）、布尔量、字符串、表格、函数、线程以及用户自定义数据这几种。但是其处理表和字符串的效率非常之高，加上元表的支援，开发者可以高效的模拟出需要的复杂数据类型（比如集合、数组等）。 Lua是一种多重编程...

word），有时也叫关键字（keyword），是编程语言中的一类语法结构。在特定的编程语言里，这些保留字具有较为特殊的意义，并且在语言的格式说明里被预先定义。通常，保留字包括用来支持类型系统的原始数据类型的标记，并可以用来识别诸如循环结构、语句块、条件、分支等程序结构。 保留字在编程...