#逆变

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