如何深入理解JavaScript中纯函数与函子的内在联系？

本文共计727个文字，预计阅读时间需要3分钟。

目录序言纯函数输入与输出副作用纯的益处文档化组合函数引用透明性其他无形风格Monad结语法语法转译间到专栏第3篇，前两篇分别是：从历史讲起JavaScript基础

目录

• 序言
• 纯函数
• 输入 & 输出
• 副作用
• “纯”的好处
• 自文档化
• 组合函数
• 引用透明性
• 其它
• 无形参风格
• Monad
• 结语

序言

转眼间，来到专栏第 3 篇，前两篇分别是：

✨从历史讲起，JavaScript 基因里写着函数式编程

✨从柯里化讲起，一网打尽 JavaScript 重要的高阶函数

建议按顺序“食用”。饮水知其源，由 lambda 演算演化而来的闭包思想是 JavaScript 写在基因里的东西，闭包的“孪生子”柯里化，是封装高阶函数的利器。

当我们频繁使用高阶函数、甚至自己不断在封装高阶函数的时候，其实就已经把“函数是一等公民”这个最核心的函数式编程思想根植在心里面了。

函数可以作为参数、可以作为返回值、可以赋值给变量......

本篇带来 JavaScript 函数式编程思想中最重要的概念之一 —— 纯函数，它定义了：写出怎样的函数才是优雅的！ 由纯函数概念衍生，我们将进一步探讨：

• 函数的输入和输出
• 函数的副作用
• 组合函数
• 无形参风格编程
• 以及最后将一窥较难理解的函子 Monad 概念

话不多说，赶紧冲了~

纯函数

什么样的函数才算“纯”？

紧扣定义，满足以下两个条件的函数可以称作纯函数：

• 如果函数的调用参数相同，则永远返回相同的结果。它不依赖于程序执行期间函数外部任何状态或数据的变化，必须只依赖于其输入参数。
• 该函数不会产生任何可观察的副作用，例如网络请求，输入和输出设备或数据突变（mutation）

输入 & 输出

在纯函数中，约定：相同的输入总能得到相同的输出。而在日常 JavaScript 编程中，我们并没有刻意保持这一点，这会导致很多“意外”。