在 Clojure 中有一个名为 mapcat 的函数在 Clojure 中,它与 flatmap in Scala 有一些相似之处.是used to map a function to a list并返回一个列表。
在 Haskell 中,我们有一个函数 ConcatMap其名seems quite similar .
我的问题是 - Clojure 中的 mapcat 和 Haskell 中的 concatmap 有什么区别?
最佳答案
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
,但是 (>>=)
也是输出多态。这使它具有更多的语义多样性。您并不总是从集合中提取值,将答案压缩到结果列表中,然后将这些结果粘合在一起。相反,您可能会将延续函数传递到非确定性并行编排过程中。或者排序解析器,其中第二个依赖于第一个的输出。或者传播一个有状态的环境。
关于haskell - Clojure 中的 mapcat 和 Haskell 中的 concatmap 有什么区别?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/20782258/