什么是函子

为什么要学习函子?

到目前为止已经学习了函数式编程的一些基础,但是我们还没有演示在函数式编程中如何把副作用控制在可控范围之内、异常处理、异步操作等。

什么是函子

在开始真正的学习之前,我们要先了解什么是函子。函子的定义如下

函子是一个普通对象(在其他语言中,可能是一个类),它实现了 map 函数,在遍历每个对象值的时候生成一个新对象。

可能概念太抽象,没关系,我们接下来将通过代码来了解什么是函子。

函子是容器

简言之,函子是一个持有值的容器。定义中已说明:函子是一个普通对象。下面我们就来创建一个简单的容器,它能够持有任何传给它的值

constContainer=function(val){this.val = val;}123123

注意这里不能用箭头函数的形式。因为箭头函数不可以作为构造函数,它没有 prototype 和 constructor 属性。这么说其实不严格,它的 constructor 其实指向的是 Function 而不是它本身。

什么是Functor?

容器:包含值和值的变形关系,这个变形关系就是函数。

函子:是一个特殊的容器,通过一个普通的对象来实现,该对象具有map方法,map方法可以运行一个函数对值进行处理。

总结:

1、函数式编程的运算不直接操作值,而是有函子完成。

2、函子就是一个实现了map契约的对象。

3、我们可以把函子想象成一个盒子,这个盒子里封装了一个值。

4、想要处理盒子中的值,我们需要给盒子的map方法传递一个处理值的函数(纯函数),由这个函数对值进行处理。

5、最终map方法返回一个包含新值的函子。

二、MAYBE函子

我们在编程过程中可能会遇到很多错误,需要对这些错误做相应处理。

Maybe函子的作用就是可以对外部的空值情况做出处理(控制副作用在允许的范围内)

三、EITHER函子

Either两者中的任何一个,类似于if...else...的处理

异常会让函数变得不纯,Either函数可以用来处理异常

四、IO函子

IO函子中的_value是一个函数,这里把函数作为值处理。

IO函子可以把不纯的操作储存到_value,延迟执行这个不纯的操作,惰性执行,包装当前的操作。

把不纯的操作交给调用者处理。

五、TASK异步执行

异步任务的实现过于复杂,一般使用folktale中的Task

folktale是一个标准的函数式编程库

和lodash、ramda不同的是,他没有提供很多功能函数

只提供了一些函数式处理的操作:compose、curry等,一些函子Task、Either、Maybe等。

六、Monad函子

Monad是可以变扁的Pointed函子(具有of方法的函子),可解决IO函子的嵌套问题。

一个函数如果具有join和of两个方法并遵守一定的定律就是一个Monad函子。

参考链接:https://www.jianshu.com/p/98bc83dc96e9

https://blog.csdn.net/zhang6223284/article/details/82774584

猜你喜欢

转载自blog.csdn.net/coinisi_li/article/details/128812671
今日推荐