gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-04 17:09:57 27 4
gpt4 key购买 nike

在 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/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com