Functional Programming

释义 Definition

函数式编程：一种编程范式，把计算视为对“函数”的求值，强调不可变数据、纯函数（相同输入总得到相同输出）以及尽量避免可变状态与副作用（如修改全局变量、读写文件等）。在实际工程中也常与命令式/面向对象风格混合使用。（该词在不同语境下还可涉及惰性求值、函数组合等概念。）

发音 Pronunciation (IPA)

/ˈfʌŋkʃənəl ˈproʊɡræmɪŋ/

例句 Examples

Functional programming makes it easier to test code.
函数式编程让代码更容易进行测试。

By favoring pure functions and immutable data, functional programming can reduce bugs in large, concurrent systems.
通过偏好纯函数与不可变数据，函数式编程可以在大型并发系统中减少错误。

词源 Etymology

functional 来自拉丁语 functio（“执行、功能”）的相关词形，强调“功能/函数”的性质；programming 源于“program”（计划、程序）。合在一起，“functional programming”指以“函数”作为主要构建方式的编程方法。作为术语在计算机科学中普及，与 λ 演算（lambda calculus）等理论传统密切相关。

相关词 Related Words

• Functional
• Function
• Pure Function
• Immutable
• Immutability
• Side Effect
• Lambda Calculus
• Higher-Order Function
• Recursion
• Declarative Programming

文献与作品 Literary / Notable Works

• Structure and Interpretation of Computer Programs（SICP）——讨论抽象与过程/函数思想，经常提及并对比函数式风格。
• Introduction to Functional Programming（Richard Bird & Philip Wadler）——经典教材，系统介绍函数式编程。
• Programming in Haskell（Graham Hutton）——以 Haskell 为例讲解函数式编程核心概念。
• *Learn You a Haskell for Great Good!*（Miran Lipovača）——面向学习者的流行入门书，频繁使用该术语。