haskell - 理解 (>>=) 。 (>>=)

我试图理解 (>>=).(>>=) ，GHCi 告诉我的是:

(>>=)       :: Monad m => m a -> (a -> m b) -> m b
(>>=).(>>=) :: Monad m => m a -> (m b -> (a -> m b) -> b1) -> (a -> m b) -> b1

你能一步一步解释结果是如何得出的吗？

这个组合是否曾经使用过？

更新:

我能够计算 fmap.fmap 但不能退出 (>>=).(>>=) ，我能够到达 (.)(>>=) :: Monad m => (a1 -> m a) -> a1 -> (a -> m b) -> m b 但事后事情开始变得有点困惑。任何帮助将不胜感激，只是想在这里学习。

最佳答案

TL;DR :我们在中间使用 ((->) r monad 实例。

我们必须看看 (.) (>>=) 。所以让我们首先重复这些类型:

(>>=) :: Monad m => m a -> ((a -> m b) -> m b)
(.)   ::            (y  -> z                 ) -> (x -> y) -> (x -> z)

因此，我们有

(.) (>>=) :: Monad m => (x -> m a) -> (x -> ((a -> m b) -> m b))
-- or, with less parentheses
(.) (>>=) :: Monad m => (x -> m a) -> x -> (a -> m b) -> m b

现在，我们插入另一个 (>>=) :

(.) (>>=) :: Monad m => (x ->  m a               ) -> x -> (a -> m b) -> m b
(>>=)     :: Monad k => k i -> ((i -> k j) -> k j)

但是现在我们遇到了一个问题。我们在同一位置有 Monad m => m a 和 ((i -> k j) -> k j)。这甚至可能吗？好吧，如果有一个 monad 实例是可能的

Monad k => (->) (i -> k j)

原来有一个，即

instance Monad ((->) r)

对于任何 r 。
现在我们的外部 monad m 是 ((->) (i -> k j) ，因此我们用 m 替换所有出现的 (i -> k j) -> :

(.) (>>=) ::             (x -> (i -> k j) -> a) -> x -> (a -> (i -> k j) -> b) -> (i -> k j) -> b
(>>=)     :: Monad k => k i -> ((i -> k j) -> k j)

现在设置 x ~ k i ， a ~ k j ，我们最终得到

(.) (>>=) ::             (x -> (i -> k j) -> a) -> x -> (a -> (i -> k j) -> b) -> (i -> k j) -> b
(>>=)         :: Monad k => k i -> ((i -> k j) -> k j)
(>>=) . (>>=) :: Monad k => k i -> (k j -> (i -> k j) -> b) -> (i -> k j) -> b

最后，我们将 k 重命名为 m ， i 为 a ， j 为 b2 ，我们最终得到

(>>=) . (>>=) :: Monad m => m a -> (m b2 -> (a -> m b2) -> b) -> (a -> m b2) -> b

关于haskell - 理解 (>>=) 。 (>>=)，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/48573814/