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

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

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

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

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

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

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

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

函数指针，可以用于实现回调。 .NET语言中用到的事件与事件处理函数提供了用于回调的通用语法。 函数式编程语言通常支持第一级函数，可以作为回调传递给其它函数，也可以作为数据类型存储或是返回给其它函数。 某些语言，比如Algol 68，Perl，新版本的.NET语言以及多数函数式编程...

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

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

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

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

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

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

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

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

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

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

把函数作为函数参数与函数返回值会遇到特别的困难。特别是存在非局部变量（英语：non-local variable）与嵌套函数（英语：nested function）、匿名函数。历史上，这被称作函数参数问题（英语：funarg problem）。 早期的指令式编程语言，或者不支持函数作为结果类型（如ALGOL...

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

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

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

较低成本的单片机编程后可取代很多独立部件，这种嵌入式系统通常比传统解决方案更复杂，但这些复杂性多数体现在单片机自身。嵌入式系统需要的外围元件很少，多数设计工作集中在软件，而软件原型的建立及测试与设计與建立新的不使用嵌入式处理器的电路相比速度更快。 区别于可以执行多重任务的通用型计算机，嵌入式...

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

jq是领域特定高级的纯函数式编程语言，它采用词法作用域，其中所有JSON值都是常量。jq支持回溯并可管理JSON数据的无限长字串流。jq支持基于名字空间的模块系统，并对闭包有一定支持，尤其是它的函数和泛函表达式可以用作其他函数的参数。 jq与Icon和Haskell编程...

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

函数式编程语言如ML语言和LISP。很多命令式程序语言也开始支持闭包。 在支持头等函数的语言中，如果函数f内定义了函数g，那么如果g存在自由变量，且这些自由变量没有在编译过程中被优化掉，那么将产生闭包。 闭包和匿名函数经常被用作同义词。但严格来说，匿名函数就是字面意义上没有被赋予名称的函数...

OOP理论，及与之同名的OOP实践相结合创造出了新的一个编程架构；OOP思想被广泛认为是非常有用的，以致一套新的编程范型被创造了出来。（其它的编程范型例如函数式编程或过程式编程专注于程序运行的过程，而逻辑编程专注于引发程序代码执行的断言）。对面向模拟系统的语言（如：SIMULA...

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

Spring Framework 正式发布了 5.0 版本，此版本引入了 Spring WebFlux，一个高性能、响应式、异步的 Web 框架。Spring 5.0 重点加强了对函数式编程、响应式程序设计（reactive programming）的支持能力，是一个非常大的进步。 强大的、基于 JavaBeans...