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

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

在函数式编程中，单子（monad）是一种抽象，它允许以泛型方式构造程序。支持它的语言可以使用单子来抽象出程序逻辑需要的样板代码（英语：boilerplate code）。为了达成这个目标，单子提供它们自己的数据类型（每种类型的单子都有特定的类型），它表示一种特殊形式计算，与之在一起的有两个过程，一...

C语言（英語：C Language）是一种通用的、过程式编程程式語言，支持结构化编程、词法作用域和递归，使用静态类型系统，并且广泛用于系统软件与应用软件的开发。 C语言于1969年至1973年間，為了移植與開發UNIX作業系統，由丹尼斯·里奇與肯·汤普逊，以B语言为基础，在贝尔实验室設計、开发出來...

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

编程语言大多同时也作为构造证明与可验证程序的辅助工具而存在，如 Coq 和 Agda（但并非所有证明辅助工具都以类型论为基础）；近年来，一些以通用和系统编程为目的的编程语言被设计出来，如 Idris。 一些以证明辅助为主要目的的编程语言采用强函数式编程（total functional...

Mean”），是的一种抽象的计算机编程语言（或编程语言家族），由Peter J. Landin设计，并描述在他1966年于ACM通讯发表的文章《The Next 700 Programming Languages》之中。 尽管没有实现，它被证明为在编程语言开发中非常有影响力的语言，特别是对于函数式编程...

optimization）提示）。 1958年IBM又推出FORTRAN II。主要的增强是凭借允许用户书写的子例程和函数，它们通过传递引用的形式参数来返回值，从而支持了过程式编程。COMMON语句为子例程提供了访问公共（或称全局）变量的一种方式。增加了如下6個新語句： SUBROUTINE、FUNCTION和END。...

函數式編程語言，有惰性求值和强静态类型。它的命名源自美国逻辑学家哈斯凱爾·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是頭等物件”。作为一门函數程式語言，主要控制结构是函数。Haskell语言是1990年在编程...

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

设计准则为“快速、简单、可拓展”，支持 函数式、並行式、过程式 以及 面向对象 的程式设计风格。 MoonBit 采用了 强类型 以及数据导向的语言设计，对 运行时、编译时 性能，以及 Wasm 文件体积进行了优化，并提供了内置 调试、测试、值追踪、AI 编程辅助、代码覆盖率工具测量等工具。 MoonBit...

Lean是一款在含歸納類型的構造演算基礎上所開發的電腦證明助手和函數式編程語言。Lean最初由萊昂納多·德·莫拉（英语：Leonardo de Moura）在微軟研究院下研發，目前以開源合作計劃的形式刊登在GitHub上。2023年成立的非盈利Lean集中研究組織（英語：Lean Focused Research...

Extempore（英语：Extempore (software)），一个现场编程环境，核心功能都基于Impromptu FAUST（英语：FAUST (programming language)）（Functional Audio Stream），用作高效信号处理函数式的编译语言 Hierarchical Music Specification...

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

act作为给基于web应用的React的解决方案。 Elm：使用叫做端口的抽象来与JavaScript通信的函数式语言。 PureScript：编译成JavaScript的强类型的纯函数式编程语言。 Simple, fast & type safe code that leverages the JavaScript...

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

Nim是一个指令式、通用、多范式、静态类型、编译型的编程语言，由Andreas Rumpf设计和开发，设计目标是高效、富有表现力以及优雅。Nim支持元编程、函数式、消息传递、过程式以及面向对象编程。 Nim的设计目标是像C一样快速，像Python一样有表达力，并像Lisp一样有扩展性。具体地说，它受以下语言的影响：...

Joy编程语言是澳大利亚乐卓博大学Manfred von Thun创立的纯函数式编程语言。Joy基于了函数复合而非lambda表达式。它表现出同30年前出现的Forth语言的很多类似性，这不归结为设计原因而是某种平行的演化和趋同。它还受到John Backus的FP语言的函数级编程风格的影响。...

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

Elixir是一个基于Erlang虚拟机的函数式、面向并行的通用编程语言。Elixir以Erlang为基础，支持分布式、高容错、实时应用程序的开发，亦可通过宏实现元编程对其进行扩展，并通过协议支持多态。 José Valim是Elixir语言的设计者。他创造该语言的目标是在维持与现有Erlang工...

OCaml（/oʊˈkæməl/ oh-KAM-əl），是一个函数式、指令式、模块化、面向对象的通用的编程语言。在Xavier Leroy（英语：Xavier Leroy）和Damien Doligez（英语：Damien Doligez），于1990年和1991年实现的ML方言Caml Light之上，Didier...

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

Scala（发音为/ˈskɑːlə, ˈskeɪlə/）是一门多范式的编程语言，设计初衷是要整合面向对象编程和函数式编程的各种特性。 Scala运行于Java平台（Java虚拟机），并兼容现有的Java程序。它也能运行于CLDC配置的Java ME中。曾经有过另一.NET平台的实现，不过该版本已被放弃。...

是旨在于教育计算机理论的程序设计语言。Oz 在单一语言中支持大多数主要的编程范式，因而学生学习范式不需要掌握多种语法。Oz 通过简单又良好分解的方式来阐述主要的编程范式的概念，包括逻辑式、函数式（包括 lazy 和 eager）、命令式、面向对象、强类型、分布式及并发编程。《Concepts, Techniques, and...

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

ML（SML），是一个函数式、指令式、模块化的通用的编程语言，具有编译时间类型检查和类型推论。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。 Standard ML是ML的现代方言，ML是用于LCF（英语：Logic for Computable Functions）（可计算函数逻辑）定理证明计划的编程语言。Standard...

PureScript是一种强类型、纯函数式、最终编译为JavaScript的编程语言。PureScript可以开发网络应用程序、服务端应用程序，也可以借助Electron开发桌面应用程序。其语法大多与Haskell相当。此外，它还引入了行多态性和可扩展记录。不过，与Haskell相反的是，PureScript坚持严格求值策略。...

启发式算法 超参数优化 超平面 推理机 信息融合——从分散、异构数据源中整合数据的过程 信息处理语言 智力放大 智能控制 智能个人助理——助理軟體 解释 (逻辑) 核方法 知识蒸馏 知识交换格式 k-均值聚类 语言模型 大型语言模型——用大量文字建構的語言模型 Lisp（编程语言）——編程語言 逻辑编程...

Rust是由Mozilla主导开发的通用、编译型编程语言。设计准则为“安全、并发、实用”，支持函数式、並行式、过程式以及面向对象的程式設計风格。 Rust語言原本是Mozilla員工Graydon Hoare的個人專案，而Mozilla於2009年開始贊助這個專案...

式编程语言，“执行方言”既没有关键字也没有语句。 单词被用作大小写不敏感变量。像在所有动态类型语言中那样，变量没有关联的类型，类型是关联于值的。在do函数遇到一个单词的时候，返回对这个单词的求值结果。set-word单词可以用于赋值。尽管没有语句，赋值和有副作用的函数在一起，可以用于指令式编程。...

有类型lambda演算是使用lambda符号（ λ {\displaystyle \lambda } ）指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范...