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

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

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

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

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

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

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

的含義，取决于具體的应用程序及使用情境。在软件架构領域，資料流指的通常是串流處理或响应式编程。 資料流是一種軟件範例，它基於將計算參與者與可以同時執行的階段（管道）斷開連接的想法。數據流也可以稱為串流處理或响应式编程。 A Short Intro to Stream Processing. [2019-06-15]...

玻璃钢（fiber-reinforced plastic） 法兰克-普罗旺斯语(ISO_639-3: frp) 自由基聚合反應(Free-radical polymerization) 函数式响应式编程（Functional Reactive Programming）...

array），而这些数据结构不可以用在纯函数式程序中。 纯粹采用函数式编程的基础部件（如map、reduce、filter等），进行响应式编程（异步数据流程编程）的编程范型，被称为函数式响应式编程。 任何改变现存值的赋值（比如x := x + 1），在纯函数式编程中都是不允许的。在现今的函数式编程...

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

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

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

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

Flapjax是建造在JavaScript上的编程语言。它提供了类似电子表格的响应式、数据流程计算风格，术语叫作函数式响应式编程，使得它易于建立响应式网页，而不用焦灼于回调函数和潜在不一致的突变。 Flapjax可以用两种方式来对待：要么作为一个库，用于正规的JavaScript程序；要么作为一个新...

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

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

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

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

left) (depth right) PureScript：一个强类型的、纯函数式的编译成JavaScript的编程语言。 Reason：OCaml的语法扩展和工具链，也可以转译成JavaScript。 函数式响应式编程 Czaplicki, Evan. My Thesis is Finally Complete...

电子表格 软件开发环境 金融计算 属性文法分析 图计算和查询 GUI （例如 React 和 DOM diffing） 科学计算应用程序 响应式编程 函数式响应式编程 记忆化 双向转换 Carlsson, Magnus. Monads for incremental computing. Proceedings...

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

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

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

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

函数式逻辑编程，是在一个单一的编程语言中，组合函数式编程和逻辑编程两种编程范式。这种编程风格已经体现在多种编程语言中，包括Curry、Mercury和Oz等。 麻省理工学院出版社和欧洲编程语言及系统协会在1995年至2008年出版了致力于集成函数式和逻辑编程的科学期刊。 Antoy, Sergio...

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

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

通信顺序进程 并发计算 数据流程 数据流程图 数据流程编程 函数式响应式编程 Linda (协作语言)（英语：Linda (coordination language)） 低程式碼開發平台 MapReduce Node-RED 管道编程 杰克逊结构化编程 Flow-based Programming. [2020-05-02]...

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

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