第二部分函数基础部分
针对复杂应用的设计模式
- 命令式错误处理
在与服务器通信的时候或者在试图访问一个为null对象的属性时都会发生js错误。在命令式编程中一般是通过try-catch来处理
缺陷：
- 难以与其他函数组合或链接
- 违反了引用透明性，因为抛出异常会导致函数调用出现一个出口，所以不能确保单一的可预测性的返回值
- 会引起副作用，因为一场会在函数调用之外对堆栈引发不可预料的影响
- 违反非局域性的原则，因为用于恢复异常的代码与原始的函数调用渐行渐远，当发生错误时，函数会离开局部栈和环境
- 不能只关注函数的返回值，调用者需要负责声明catch块中的异常匹配类型来管理特定的异常
- 当有多个异常条件时会出现嵌套的异常处理块
在函数式中异常应该是由一个地方抛出，而不是随处可见
函数式以一种完全不同的方法来处理错误，简单来说就是创建一个安全的容器来存放危险代码。
- 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
-
Applicative
applicative_just.png
applicative内部其实就是将各自包裹的盒子打开，应用其中函数与值的计算，然后包裹新值在一个上下文中
-
Monad处理错误
Monad用于函数式的解决传统错误处理问题。Monad则是将一个会返回包裹值的函数应用到一个被包裹的值上。
Functor,Monad,Applicative区别
Functor:应用一个函数到包裹的值
Monad：应用一个返回包裹值的函数到一个包裹的值
Applicative:应用一个包裹的函数到包裹的值
recap.png
map操作被视为一种中立的functor，因为它无非只是映射函数到对象，然后关闭他。
总结：
- 面向对象抛异常的机制让函数变得不纯，把大部分的责任都推到了调用者的尝试try-catch上
- 把值包裹到容器中的模式是为了构建无副作用的代码，把可能不纯的变化包裹成引用透明的过程
- 使用functor将函数应用到容器中的值，这也是无副作用的，不可变的访问和修改操作
- Monad是函数式中用来降低应用复杂度的设计模式，通过这种模式可以将函数编排成安全的数据流程
- 交错的组合函数和Monadic类型是非常有弹性而且强大的
函数式编程应该专注于业务逻辑，将业务逻辑分解成简单函数的模式，而不是控制流
参考：
函数式编程入门教程
网友评论