concatMap做什么？

Question

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

Answer 1

是的,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 的(bind)函数:

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

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

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

这使它=<<与list monad 的功能相同:

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

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

所以现在你知道了所有要知道的事情concatMap.它只concat适用于a的结果map.由此得名.

Answer 2

从概念上说是的,但实际的实现是不同的:

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

Answer 3

检查文档显示:

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! "