Haskell 绑定运算符如何从 monad 中提取值？

Question

如果这个问题听起来很愚蠢，请原谅我，我仍然是学习 Haskell 的初学者。

给定绑定运算符函数签名：

(>>=) :: m a -> (a -> m b) -> m b

我的问题是，如何从“m a”中提取“a”值以便函数(a -> m b)可以触发？haskell 是否在内部对此进行了抽象？

Answer 1

这是由编写Monad特定类型实例的人实现的。

例如，如果我们看instance的Monad了Maybe，我们看到的[来源]：

-- | @since 2.01
instance  Monad Maybe  where
    (Just x) >>= k      = k x
    Nothing  >>= _      = Nothing

    (>>) = (*>)

而对于列表 [src] 的一个实例，我们看到：

-- See Note: [List comprehensions and inlining]
-- | @since 2.01
instance Monad []  where
    {-# INLINE (>>=) #-}
    xs >>= f             = [y | x <- xs, y <- f x]
    {-# INLINE (>>) #-}
    (>>) = (*>)

如果您因此将某些东西作为Monad类型类的实例，您将需要为该(>>=)函数提供一个实现。