Monad在Reader resp案例中的应用。((->) a)

Question

在Haskell中，函数的单一实例提供了什么应用程序？从它们的实现来看，它们似乎几乎是相同的：

(<*>) f g x = f x (g x)
(>>=) f g x = g (f x) x

你能用>>=做什么你不能用<*>做什么吗？

Answer 1

对于函数实例：flip f <*> g == g >>= f，它们在功率上是等价的。但是，对于大多数Monad实例的类型来说，情况并非如此。

如果我们将<*>和=<< (即flip (>>=))专门化为((->) r)实例进行比较，则会更清楚一些：

(<*>) :: Applicative f => f (a -> b) -> f a -> f b
   -- Specialized to ((->) r):
(<*>) :: (r -> a -> b) -> (r -> a) -> r -> b

(=<<) :: Monad m => (a -> m b) -> m a -> m b
   -- Specialized to ((->) r):
(=<<) :: (a -> r -> b) -> (r -> a) -> r -> b