haskell - `>>=` 的目的更多是关于：根据参数处理不同的情况，还是解包参数？

Question

>>=有类型 m a -> (a -> m b) -> m b

假设ma :: m a和f :: a -> m b。

更多关于的目的是>>= :: m a -> (a -> m b) -> m b什么：

• 是否能够隐式解包以便ma :: m a适用于它？af :: a -> m b

• 或者能够根据不同的情况处理不同的情况ma :: m a？>>=检查参数的许多实现，ma以查看是否ma满足某些条件。如果是，那么a <- ma; f a。如果不是，那么用 做其他事情ma，比如说g ma， where g :: m a -> m b。一个更具体且仍然等效的版本>>=是否有一个 type m a -> (a ->m b) -> (... -> m b) -> m b， 像上面... -> m b的第三个参数的类型在哪里？g如果是，什么是 type ...？会m a吗？可能不是a，对吗？

• 或两者？

谢谢。

标签： haskellmonadsbinary-operators

Answer 1

首先。的目的ma >>= k是将函数k应用于封装的a值m，以及它是如何执行的，涉及根据第一个参数处理不同的情况。

“曼陀罗”的ma >>= k = join (fmap k ma)类型是

    m   a                   -- ma
        a  ->   m b         -- k
    m          (m b)        -- after fmap
   ------------------
    m             b         -- after join

k :: a -> m b确实适用于a"inside" m a、 "under wraps"。

您提到的ma 价值检查是一个正交问题。如果m a是 sum 类型，>>=将检查并查看要处理的替代方案；处理的类型还是一样的m a。例如，Nothing仍然有 type Maybe a，即使它没有特定的a值“inside”。

Nothing和情况都由Just x相同<-（或等效>>=）处理，

    do { a <- ma ; foo a }  ==  ma >>= (\a -> foo a)
                            ==  (\case Nothing -> Nothing ;
                                       Just a  -> (\a -> foo a) a) ma

---

第二个选项的另一部分是对链接可能性的反思。

使用所谓的“Kleisli 组合”

(f >=> g) x  =  f x >>= g

我们可以链接“Kleisli 箭头”类型的函数，

   f  >=>  g  >=>  ...  >=>  h
------------------------------------
 a -> m b
        b -> m c
                  ......
                           s -> m t
------------------------------------
 a ->                           m t

但两者>>=都是>=>二元运算符。当类型对齐时，可以将它们链接起来，形成n元操作链；但是基本的基本运算符是二元的。

这类似于列表，由二元运算符组成(:)。

[a,b,c,...,n]  =  a : (b : (c : ... (n : []) ...))