《JavaScript函数式编程指南》

阅读心得

函数式编程目标是使用函数来抽象作用在数据之上的控制流与操作。
将函数看作永不会修改数据的闭合功能单一，必然可以减少潜在的bug。
函数式编程是指为创建不可变的程序，通过消除外部可见的副作用，来对纯函数的声明式的求值过程。
当考虑设计应用时，你应该问问自己：
可扩展性：我是否需要不断的重构代码来支持额外的功能？
- 易模块化：如果我更改了一个文件，另外一个文件会不会收到影响？
- 可重用性：是否有很多重复的代码？
- 可测性：给这些函数添加单元测试是否困难？
- 易推理性：我写的代码是否非结构化严重并难以推理？
在函数式编程中，要做到不可变的思考，就需要将任何对象视为数值，类似于字符串和数字，这样做函数可以把对象传来传去，而不用担心被串改。
函数式的控制流能够在不需要研究任何内部细节的条件下提供该程序意图的清晰结构，这样就能更深刻地了解代码，并获知数据在不同阶段是如何流入和流出的。
面向对象大多是命令式的，因此在很大程度上依赖于使用基于对象的封装来保护其自身和继承的可变状态的完整性，再通过实例方法来暴露或修改这些状态，其结果是，对象的数据与行为以一种内聚的形式紧耦合在一起。而函数式编程中，一切都是不可变，数据和行为是松耦合的。
方法链的缺点是由于方法与所属的对象紧密耦合在一起，也就限制了链中可以使用的方法数量，不能轻松的将不同函数连接在一起。
以point-free的风格编写，并用函数组合子来组织的程序控制流，可解决现实问题。

组合单元	函数	对象、类
编程风格	声明式	命令式
数据和行为	独立且松耦合的纯函数	与方法紧耦合的类
状态管理	将对象是为不可变的值	主张通过实例方法改变对象
程序流控制	函数与递归	循环与条件判断
线程安全	可并发编程	难以实现
封装性	因为一切不可变，不需要封装	需要保护数据的完整性

重点摘要

基本概念：声明式编程、纯函数、引用透明、不可变性
- 声明式编程：这种范式会描述一系列的操作，但并不会暴露它们是如何实现的或是数据流如何穿过它们，是将程序的描述与求值分离开的。
- 纯函数：仅取决于提供的输入，而不依赖于任何在函数求值期间或调用间隔时可能变化的隐藏状态和外部状态。
- 副作用
  - 改变一个全局的变量、属性或数据结构
  - 改变一个函数参数的原始值
  - 处理用户输入
  - 抛出异常没被当起函数捕获
  - 屏幕打印或者记录日志
  - 查询 html 文档、浏览器 cookie 或者访问数据库
- 引用透明：一个函数对于相同的输入始终产生相同的结果。
FP中，很少会用this，事实上，应该不惜一切代价来避免使用它。
程序为实现业务目标所要行进的路径被称为控制流。
- 命令式程序需要暴露所有的必要步骤才能极其详细的描述，这些步骤涉及大量的循环和分支，以及随语句执行而变化的各种变量。
- 声明式程序多使用简单拓扑连接的独立黑盒操作组合而成的较小结构控制流，这些连接在一起的操作只是一些能够把状态传递至下一个操作的高阶函数。
函数即数据，因为FP是声明式的，它描述了数据输出是什么，而不是数据是如何得到的。
ES6带来的尾调用优化，可以使递归和迭代的性能表现更加接近，将递归调用作为函数体最后的步骤。递归本质上是一种循环操作。纯粹的函数式编程语言没有循环操作命令，所有的循环都用递归实现，这就是为什么尾递归对这些语言极其重要。
函数式编程将管道视为构建程序的唯一方法。
除了能够有效提升代码的可重用性外，将多元函数转换为一元函数才是柯里化的主要动机。
由于数据不经意地变成来null或者undefined，出现来异常、失去网络连接等情况，代码需要顾及此类问题，所有要花大量的代码来确保所有抛出的异常都能被适当的捕获，并且在所有能想到的地方检查值是否为null，最后的结果就是代码越来越长、不能扩展，推理起来费劲。
显然使用try-catch后的代码将不能组合或连在一起。函数式程序不应抛出异常。
FP不会加快单个函数的求值速度。相反，它的理念是避免重复的函数调用以及延迟调用代码，把求值延迟到必要的时候，这可以使程序整体加速，在纯FP语言中，平台内置来这些优化，然而在js中，需要开发者来做。
在JS中，每个函数调用其实都会在函数上下文堆栈中创建栈帧。，栈是一个基本的数据结构，它的插入和取出顺序是后进先出，LIFO。
柯里化和递归会造成大量上下文堆栈的开销，嵌套结构的函数会使用更多的堆栈。
只有将函数的上下文状态作为参数传递给下一个函数调用，才能使递归调用不依赖当前帧，通过这种方式，递归每次都会创建一个新的帧，回收旧的帧，这就是尾递归优化。
FP的柯里化可以实现OOP中的工厂方法。

// OOP
interface Store {
    getItem(key: string): string;
}

class WebStore implements Store{
    getItem(key: string){
        return localstorage.getItem(key);
    };
}

class WxStore implements Store{
    getItem(key: string){
        return wx.getStorageSync(key);
    };
}

const store = new xxxStore();
store.find(xxx);

// FP
const getFromWebStore = () => {
    return (key)=>{
        return localstorage.getItem(key)
    }
}

const getFromWxStore = () => {
    return (key)=>{
        return wx.getStorageSync(key)
    }
}

const find = getFromXXXStore();
find(xxx);

lingxiao-Zhu / blog

《JavaScript函数式编程指南》 #40

阅读心得

重点摘要