haskell - Control.Monad.Reader.withReader 实际上是 Data.Functor.Contravariant.contramap 吗？

Question

我正在阅读这本书 Haskell in depth我注意到以下代码示例:

withReader :: (r' -> r) -> Reader r a -> Reader r' a

这看起来像 contramap . Control.Monad.Reader之间有什么关系|和 Data.Functor.Contravariant ?

Answer 1

Reader的类型参数的顺序不正确，使其成为 contramap为了它。一个 Contravariant仿函数的最后一个类型参数总是需要逆变的，但是 Reader在其第一个类型参数中是逆变的。但是你可以这样做:

newtype FlippedReader a r = FlippedReader (Reader r a)

instance Contravariant (FlippedReader a) where
    contramap f (FlippedReader x) = FlippedReader (withReader f x)

Reader也差不多是 Profunctor , 与 lmap = withReader和 rmap = fmap , 但从 Reader r a 开始就不太适用了确实是 ReaderT r Identity a 的类型同义词(尽管您可以使用另一个 newtype 包装器使其像我在上面所做的那样工作)。和 (->)实际上是一个 Profunctor具有相同的行为，它与 Reader 同构.