haskell - 有标准的读者应用实例吗？

Question

是否存在像我在 blog post 中找到的那样的现有实例？

data Reader r a = Reader (r -> a)
instance Functor (Reader r) where
    fmap f (Reader x) = Reader (f . x)
instance Applicative (Reader r) where
    pure x = Reader $ pure x
    (Reader f) <*> (Reader x) = Reader (f <*> x)

Answer 1

是的。当 Applicative 本身处于作用域内时，(->) r 的实例也处于作用域内。 (对于您编写的甚至类型检查的代码来说，这也必须是正确的 - 您是否注意到 Reader 的 Applicative 实例只是发送到 (->) r 的 >Applicative 实例？ =)