endofunctor

这里的map是一个面向对象的写法，如果改写成函数式的，那map可以写成： 如果func的输入类型是A，输出类型是B，容器类型是T，那map的函数签名就是： Functor本质上是将一个Category映射到另一个Category，并保持Category的结构不变。如果源Category和目标Category是同一个，那这个Functor叫Endofunctor 回到最开始的问题，map到底是什么？在Functor的定义下(如果我们将Category看成编程里的类型)，map方法本质上是一个在Category(类型)之间转换函数的函数。