函数式编程艺术
函数式编程艺术 — 完整教程
“函数式编程不是关于没有副作用，而是关于将副作用控制在可管理的范围内。”
— Simon Peyton Jones
本教程系统性地介绍函数式编程（Functional Programming, FP）的核心概念、理论基础与工程实践，涵盖从入门到高级的 18 个章节，每章均提供 Haskell、JavaScript、Python、Rust、Clojure 五种语言的代码示例。
适合谁阅读
| 读者类型 |
收益 |
| 初学者 |
建立函数式思维，理解纯函数、不可变数据等核心概念 |
| 有经验的开发者 |
深入 Monad、范畴论、类型系统等高级主题 |
| 架构师 |
掌握函数式在并发、错误处理、测试中的工程实践 |
| 团队负责人 |
了解渐进式引入函数式的选型策略 |
教程目录
基础篇（第 1-5 章）
| 章节 |
标题 |
核心内容 |
| 01 |
函数式编程导论 |
历史、Lambda 演算、与命令式对比、适用场景 |
| 02 |
纯函数与副作用 |
纯函数、副作用、引用透明、幂等性、可测试性 |
| 03 |
不可变数据 |
不可变数据、持久化数据结构、结构共享、Copy-on-Write |
| 04 |
一等公民函数 |
高阶函数、函数组合、柯里化、偏应用 |
| 05 |
Map/Filter/Reduce |
映射、过滤、归约、管道操作、Transducer |
核心篇（第 6-10 章）
| 章节 |
标题 |
核心内容 |
| 06 |
模式匹配 |
解构、代数数据类型、穷尽性检查、守卫表达式 |
| 07 |
递归与不动点 |
递归、尾递归、分治策略、Y 组合子 |
| 08 |
Monad 与函子 |
Functor、Applicative、Maybe、Either、IO、State |
| 09 |
惰性求值 |
无限数据流、Thunk、Stream、生成器 |
| 10 |
类型系统 |
Hindley-Milner、类型推断、泛型、高阶类型 |
进阶篇（第 11-14 章）
| 章节 |
标题 |
核心内容 |
| 11 |
范畴论入门 |
范畴、函子、自然变换、组合律、结合律 |
| 12 |
函数式响应式编程 |
FRP、信号、行为、RxJS、Stream |
| 13 |
函数式设计模式 |
Builder、策略、命令、观察者、访问者 |
| 14 |
函数式并发 |
Actor 模型、STM、CSP、Erlang/Elixir |
实践篇（第 15-18 章）
| 章节 |
标题 |
核心内容 |
| 15 |
错误处理 |
Result、Either、Option、Validation、组合 |
| 16 |
函数式测试 |
Property-based Testing、QuickCheck、不变量 |
| 17 |
实际应用 |
数据处理、ETL、解析器组合子、DSL 设计 |
| 18 |
最佳实践 |
选型指南、性能权衡、团队采用、渐进式函数式 |
语言对照表
本教程使用以下五种语言编写示例，各有侧重：
| 语言 |
类型系统 |
FP 特性 |
教程中的用途 |
| Haskell |
强静态 |
纯函数式 |
理论参考实现 |
| JavaScript |
弱动态 |
多范式 |
工业实践示例 |
| Python |
强动态 |
多范式 |
脚本与数据处理 |
| Rust |
强静态 |
倾向函数式 |
系统级 FP 实践 |
| Clojure |
强动态 |
Lisp 方言 |
Lisp 风格 FP |
阅读建议
- 循序渐进：建议按章节顺序阅读，后续章节依赖前序概念
- 动手实践：每章代码示例均可运行，建议亲自敲一遍
- 选读语言：不必掌握所有五种语言，选择熟悉的语言阅读即可
- 扩展阅读：每章末尾的参考文献可加深理解
参考资源