一.
Functor俗称仿函数或者函子,他是一个类型类,我们先看看他的结构
scala> :kind Functor
scalaz.Functor's kind is X[F[A]]
可以看出它是一个类型构造器的构造器,但是不像List等序列(强调的是容器),我们这里X并不是像F容器,我们可以把X看作action集合,所以我猜他才被称呼为Functor的
Functor里最重要的部分就是map的函数了
/** Lift `f` into `F` and apply to `F[A]`. */
def map[A, B](fa: F[A])(f: A => B): F[B]
我们必须理解Functor中的map是做了什么事情,而且必须熟悉,不然后面更加抽象的就无法理解了(当然即使你理解这个后,后面的不一定能理解,后面会更加抽象!)
我们先看看我们以前熟悉的map
scala> List(1,2,3) map { _ + 1}
res5: List[Int] = List(2, 3, 4)
或许你认为该map与上面的一样,当然意义是一样的,但是结果是不一样的,这里我们的map返回的依旧是原本的序列
而上面的并不是返回一个Functor,他返回的只是当初的一个容器类,也即是F[_](所以他才叫做函子)
具备函数的特性:
scala> def a:Int=>Int =