Pointed函子指的是实现了of静态方法的函子,那我们之前所写的函子都是实现了of方法的,所以他们都是Pointed函子。

之前说of方法是为了避免使用new啦创建对象,避免我们的代码看起来很面向对象,但是of方法更深层的含义是,他是用来把值放到一个上下文中,然后在上下文中处理我们的值。(把值放到容器中,使用map来处理值)。

假设我们的值是2,我们通过of方法可以把这个值放到一个盒子里,那这个盒子我们就叫做上下文,其实就是我们的函子。

假设我们有一个Container函子,这个函子有一个of方法,他就是一个Pointed函子,of方法的作用是帮我们把值包裹到一个新的函子里面,并且返回。那我们称这个返回的结果就是上下文。

当我们调用of方法时候我们获得一个上下文,将来我们在这个上下文里面去处理这个数据。

这就是Pointed函子,他比较简单,就是一个概念而已,我们早已经在使用了。