haskell - Clojure 中的 mapcat 和 Haskell 中的 concatmap 有什么区别？

Question

在 Clojure 中有一个名为 mapcat 的函数在 Clojure 中，它与 flatmap in Scala 有一些相似之处.是used to map a function to a list并返回一个列表。

在 Haskell 中，我们有一个函数 ConcatMap其名seems quite similar .

我的问题是 - Clojure 中的 mapcat 和 Haskell 中的 concatmap 有什么区别？

Answer 1

concatMap在 Haskell 中有类型 concatMap :: (a -> [b]) -> [a] -> [b]而 Clojure 的 mapcat ，如果它有任何类型，就必须复杂得多。初步近似，我们可以写

mapcat :: (Collection c, Collection c') => (a -> c' b) -> c a -> [b]

虽然，技术上 mapCat继承 map的动态参数列表，因此根本无法在 Haskell 中输入，但如果可以，它可能看起来像

mapcat :: (forall c . Collection c => a -> ... -> c b) 
       -> [forall c . Collection c => c a]
       -> [b]

强调如何动态 mapCat可能是，尽管仍然不如实际动态。也就是说，如果我们 promise 只将一个惰性序列传递给 mapcat那么它与 concatMap 相同并且具有几乎完全相同的代码

concatMap f s = concat (map f s)

(defn mapcat [f coll] (concat (map f coll)))

也就是说，在 Haskell 中没有人使用 concatMap ，他们使用 (>>=) (或列表推导式，如果需要，可以翻译成 (>>=))。

-- flipped for consistency
flip (>>=) :: Monad m => (a -> m b) -> m a -> m b

原来 (>>=)输入的多态性仍然低于 mapcat ，但是 (>>=)也是输出多态。这使它具有更多的语义多样性。您并不总是从集合中提取值，将答案压缩到结果列表中，然后将这些结果粘合在一起。相反，您可能会将延续函数传递到非确定性并行编排过程中。或者排序解析器，其中第二个依赖于第一个的输出。或者传播一个有状态的环境。