#functors

在我们开始之前只需注意一下术语；我将使用“functor”来表示该概念的范畴含义： 逆变函子很奇怪，不是吗？协变函数器(由函数器类型类建模)非常简单，但逆变函数器，顾名思义，似乎完全相反。 在我们讨论什么是逆变函数式之前，看看我们所了解和喜爱的函数式类型类是很有用的。 类函数f，其中FMAP：：(a->；b)-&......