首页
标签
contravariant
使用泛型委托时如何理解逆变？
如何在base class中使用逆变参数？
学习如何在预期 (a -> Maybe b) 而不是 (a -> b) 作为第一个参数 (Haskell) 时使用 contramap