《javascript函数式编程指南》读书笔记四

第二部分函数基础部分

针对复杂应用的设计模式

1. 命令式错误处理
   在与服务器通信的时候或者在试图访问一个为null对象的属性时都会发生js错误。在命令式编程中一般是通过try-catch来处理
   缺陷：

• 难以与其他函数组合或链接
• 违反了引用透明性，因为抛出异常会导致函数调用出现一个出口，所以不能确保单一的可预测性的返回值
• 会引起副作用，因为一场会在函数调用之外对堆栈引发不可预料的影响
• 违反非局域性的原则，因为用于恢复异常的代码与原始的函数调用渐行渐远，当发生错误时，函数会离开局部栈和环境
• 不能只关注函数的返回值，调用者需要负责声明catch块中的异常匹配类型来管理特定的异常
• 当有多个异常条件时会出现嵌套的异常处理块
  在函数式中异常应该是由一个地方抛出，而不是随处可见
  函数式以一种完全不同的方法来处理错误，简单来说就是创建一个安全的容器来存放危险代码。

2. Functor
   Functor是一个可以将函数应用到它包裹的值上，并将结果再包裹起来的数据结构。
   目的：创建一个上下文或一个抽象，以便可以安全的应用操作到的值，而不改变原始值。
   Funtor本身并不需要知道如何处理null，因为Functor映射从一个类型到另一个类型的函数，Monad可以简化代码中的错误处理，进而更流畅的进行函数组合。Monad其实是Functor’伸入‘的容器
   Functor重要的属性约束

• 必须是无副作用的
• 必须是可组合的

函子定义（Functor）
任何具有map方法的数据结构，都可以当作函子的实现。
Functor内部工作原理
函子的标志就是容器具有map方法。该方法将容器里面的每一个值，映射到另一个容器。函子有一个of方法，用来生成新的容器。

class Functor {
  constructor(val) { 
    this.val = val; 
  }

  map(f) {
    return new Functor(f(this.val));
  }
}

第一步：将值从上下文盒子中解救出来
第二步：将外部指定的函数应用到这个位置上，得到一个新的值
第三步：将这个新值放入到上下文盒子中

fmap_just.png

3. Applicative

   
   applicative_just.png
   

   applicative内部其实就是将各自包裹的盒子打开，应用其中函数与值的计算，然后包裹新值在一个上下文中

4. Monad处理错误
   Monad用于函数式的解决传统错误处理问题。Monad则是将一个会返回包裹值的函数应用到一个被包裹的值上。
   Functor,Monad,Applicative区别
   Functor:应用一个函数到包裹的值
   Monad：应用一个返回包裹值的函数到一个包裹的值
   Applicative:应用一个包裹的函数到包裹的值

   
   recap.png

map操作被视为一种中立的functor，因为它无非只是映射函数到对象，然后关闭他。

总结：

• 面向对象抛异常的机制让函数变得不纯，把大部分的责任都推到了调用者的尝试try-catch上
• 把值包裹到容器中的模式是为了构建无副作用的代码，把可能不纯的变化包裹成引用透明的过程
• 使用functor将函数应用到容器中的值，这也是无副作用的，不可变的访问和修改操作
• Monad是函数式中用来降低应用复杂度的设计模式，通过这种模式可以将函数编排成安全的数据流程
• 交错的组合函数和Monadic类型是非常有弹性而且强大的

函数式编程应该专注于业务逻辑，将业务逻辑分解成简单函数的模式，而不是控制流

参考：
函数式编程入门教程

函数式functor的理解
函数编程中functor和monad的形象解释

MONAD