concatMap是做什么的？

Question

concatMap是做什么用的？ 我知道concat和map做什么。它只是将它们放在一起还是完全不同的功能？

Answer 1

从概念上讲，是的，但actual implementation不同的是：

concatMap    :: (a -> [b]) -> [a] -> [b] 
concatMap f    = foldr ((++) . f) [] 

Answer 2

检查the documentation显示：

concatMap :: (a -> [b]) -> [a] -> [b] 

地图功能在一个列表并且将结果连接

而且其定义如下：

-- | Map a function over a list and concatenate the results. 
concatMap    :: (a -> [b]) -> [a] -> [b] 
concatMap f    = foldr ((++) . f) [] 

比较下面的输出ghci的：

*Main> concatMap (++"! ") ["one", "two", "three"] 
"one! two! three! " 
*Main> concat $ map (++"! ") ["one", "two", "three"] 
"one! two! three! " 

Answer 3

是的，concatMap功能只是concat和map放在一起。由此得名。将功能一起仅仅意味着将它们组成：

(.) :: (b -> c) -> (a -> b) -> a -> c 

然而concat和map不能简单地使用函数组合放在因为map类型的签名一起：

map :: (a -> b) -> [a] -> [b] 
     -------- --- --- 
      a   b  c 

正如你所看到的功能组成预期a -> b类型的函数，但map类型为a -> b -> c。要撰写concat与map您需要使用.:操盘手：

(.:) :: (c -> d) -> (a -> b -> c) -> a -> b -> d 

的concat函数的类型签名：

concat :: [[a]] -> [a] 
      ----- --- 
      c  d 

因此concat .: map的类型为：

concat .: map :: (a -> [b]) -> [a] -> [b] 
       ---------- --- --- 
        a   b  d 

与concatMap相同：

concatMap :: (a -> [b]) -> [a] -> [b] 

的.:运营商本身在功能构成方面来写：

(.:) = (.) (.) (.) 

-- or 

(.:) = (.) . (.) 

因此concatMap可以写为：

concatMap = (.) (.) (.) concat map 

-- or 

concatMap = (concat .) . map 

-- or 

concatMap = concat .: map 

如果flip的concatMap参数你得到的>>=（绑定）函数列表monad：

instance Monad [] where 
    return x = [x] 
    (>>=) = flip concatMap 
    fail _ = [] 

flip concatMap :: [a] -> (a -> [b]) -> [b] 

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

这使得相同的列表单子的=<<功能：

concatMap :: (a -> [b]) -> [a] -> [b] 

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

所以，现在你知道的一切，有了解concatMap。这只是concat适用于map的结果。由此得名。