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的結果。由此得名。