在Haskell中列出monad实例-为什么在绑定操作中使用concat？

Question

    instance Monad [] where
    xs >>= f = concat $ map f xs
    return x = [x]
    fail _ = []

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

返回到list实例。map f xs对xs中的每个值使用函数f。所以映射(*2)[1,2,3]导致[2,4,6]。这就是我在这里想不想要的？在这里应该如何使用concat？concat的定义如下：

    concat :: [[a]] -> [a]

为什么在(>>=)-函数中会得到一个列表？是不是因为list是单子，我从该list中提取每一个值，然后将其提供给f，而map只获得单例输入？但是我如何迭代整个列表呢？“挑选每个值”在哪里发生？如果map将整个列表xs作为输入（这就是我的理解），为什么还要获得列表列表呢？

Answer 1

如果

x :: [a]
f :: a -> [b]

然后

map f :: [a] -> [[b]]
map f x :: [[b]]

因此，我们需要将后者扁平化为[b]。这是由concat完成的。