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

一般支持反射的编程语言和平台包括动态类型语言如Smalltalk，脚本语言如Perl、PHP、Python、VBScript和JavaScript，Maude system的重写逻辑。 APL Befunge BlitzMax ColdFusion MX Curl Delphi...

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

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

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

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

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

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

泛型的类型参数之实际类型在运行时均不会被消除，运行速度会因为类型转换的次数减少而加快。另外，使用GetType()方法可于程序运行时得知泛型及其类型参数的实际类型，更可以运用反射式编程。 using System; // 定義一個泛型列表類，T 表示類型參數 public class GenericList<T> { private...

Python（英語發音：/ˈpaɪθən/；英語發音：/ˈpaɪθɑːn/），是一种广泛使用的解释型、高级和通用的编程语言。Python支持多种编程范型，包括结构化、过程式、反射式、面向对象和函数式编程。它拥有动态类型系统和垃圾回收功能，能够自动管理内存使用，并且其本身拥有一个巨大而广泛的标准库。它的语言结...

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

定義。這些擴展功能對原語言來說就是Orthophrase。這對應現代的插件。 Metaphrase會修改詮釋表示式時所用的規則。這對應現代的反射式编程。 Standish認為當時可扩展编程的失敗是因為若程式有數層的扩展，在撰寫時會格外困難。程式設計師可以在基礎語言上加上第一層的巨集。若要在此語言上加...

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

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

编程语言同时也是自身的元语言的能力称之为「反射」或者「自反」。 反射是促进元编程的一种很有价值的语言特性。把编程语言自身作为一級資料類型（如LISP、Forth或Rebol）也很有用。支持泛型编程的语言也使用元编程能力。 元编程通常通过两种方式实现。一种是通过应用程序编程...

智能代码补全是一种编程环境中，有上下文感知的的代码自动完成功能。它可以通过减少打字错误和其他常见错误，使编写应用的速度得到提升。智能代码补全通常在键入、查询函数参数以及与语法错误相关的查询提示时，会弹出自动完成窗口。智能代码补全和相关工具使用反射式编程产生变量名称、函数和方法的文档以及消除歧义。...

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

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

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

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

通过类，一个继承模型，静态类成员，属性初始化和实例构造器，Falcon编程语言提供一个OOP范式。在至多一个潜在的父类是被反射成原生数据的条件下支持多继承。访问基类成员被支持。 实例的结构是固定和不变的，但是由于Falcon函数式特质，函数看上去就是一种特定种类的数据，它能动态设置实例成员为无格式数据或者函数（变成他们的方法）。...

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

长参数和自动装/拆箱特性。昇陽電腦对Java语言的解释是：「Java编程语言是个简单、面向对象、分布式、解释性、健壮、安全、与系统无关、可移植、高性能、多线程和动态的语言」。 Java不同於一般的编译語言或直譯語言。它首先将源代码编译成字节码，再依赖各种不同平台上的虚拟机来解释执行字节码，从而具有“...

parallelism）不向编程者透露任何编译器、运行时系统或硬件负责的事情。例如，在编译器中自动并行化（英语：automatic parallelization）是把顺序代码转变程并行代码的过程；而在计算机架构中，超标量执行是采用指令级并行来进行并行运算的机制，因自身限制而被实际利用为同时多线程/超线程。 在隐式...

Zig（也称为 Ziglang） 是一种命令式、通用、静态类型、编译语言的系统编程语言，由 Andrew Kelley 设计。它旨在作为 C 的继任者，提供更轻量更简单的编程体验，同时提供更丰富的功能。 它是自由及开放源代码软件，在MIT许可证下发布。 Zig 语言的简化涉及到流控制、函数调用、库导入、变量声明和...

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

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

在程序设计中，数据流程编程是一种编程范型，它将程序建模为数据在运算（operation）之间流动的有向图，从而实现了数据流程原理和架构。数据流程编程语言，共享了纯函数式语言的某些特征，比如单赋值，并且开发它们的动因，通常是为了向更适合数值处理的语言，增加函数式编程概念。 先驱的数据流程语言是BLODI（BLOck...

Smalltalk是一种动态类型、反射式的面向对象编程语言。Smalltalk由艾伦·凯、Dan Ingalls、Ted Kaehler、Adele Goldberg等于1970年代在施乐帕羅奧多研究中心开始开发。 Smalltalk对其它众多的程序设计语言的产生起到了极大的推动作用，特別是Obje...

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

觸控螢幕（英語：Touchscreen），是可以接收觸頭（包括手指或者膠筆頭等）等輸入訊號的感應式LED顯示器、液晶顯示、平板螢幕或电子墨水裝置。當接觸了螢幕上的圖形按鈕時，螢幕上的觸覺反饋系統可根據預先編程的程式驅動各種連結裝置，可用以取代機械式的按鈕面板，並藉由顯示畫面製造出生動的影音效果。...