>[info]待整理...... # 第 1 章 理解函数式编程 理解函数式编程，需要知道如下一些基本概念： - 声明式编程 - 纯函数 - 引用透明 - 不可变性 ## 声明式编程 关于声明式编程，看两段代码即可： ```js // 命令式的 const array = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] for (let i = 0;i < array.length; i++) { array[i] = Math.pow(array[i], 2) } // 声明式的 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9].map(num => Math.pow(num, 2)) ``` 命令式编程会很具体地告诉计算机如何执行某个任务。 函数式编程属于声明式编程范式，这种范式会描述一系列的操作，但不会暴露它们是如何实现的或是数据流如何穿过它们。它将程序的描述与求值分离开来，关注于如何用各种表达式来描述程序逻辑。 ## 纯函数 纯函数具有以下性质： - 仅取决于提供的输入，而不依赖于任何在函数求值期间或调用间隔时可能变化的隐藏状态和外部状态 - 不会造成超出其作用域的变化，例如修改全局对象或引用传递的参数 或许这么理解更好： - 如果函数的调用参数相同，则永远返回相同的结果。它不依赖于程序执行期间函数外部任何状态或数据的变化，必须只依赖于其输入参数。 - 该函数不会产生任何可观察的副作用，例如网络请求，输入和输出设备或数据突变（mutation），一般来说，函数在读取或写入外部资源时都会产生副作用。 一般以下行为被称为副作用： - 改变一个全局的变量、属性或数据结构 - 改变一个函数参数的原始值 - 处理用户输入 - 抛出一个异常，除非它又被当前函数捕获了 - 查询 HTML 文件、浏览器的 cookie 或访问数据库 ```js let counter = 0 function increment () { return ++counter } ``` 例如上面的函数就是不纯的，因为它读取并修改了一个外部变量。 ## 引用透明和可置换性 如果一个函数对于相同的输入始终产生相同的结果，那么就说它是引用透明的。之所以追求这种特指，是因为它不仅能使代码更易于调试，还可以让我们更容易推理整个程序。 ## 不可变性 不可变数据是指那些被创建后不能更改的数据。