scheme - SICP中 `flatmap`有什么意义？

Question

(define (accumulate op initial sequence) 
  (if (null? sequence) 
   initial 
   (op (car sequence) 
     (accumulate op initial (cdr sequence))))) 
      
(define (flatmap proc seq) 
  (accumulate append nil (map proc seq)))

以上是 SICP 的代码片段，在 Scheme 中。为什么需要 flatmap 过程？ flatmap 和 map 有什么区别？

Answer 1

(map proc seq) 将对序列 seq 应用 proc，为每个元素返回一个值。每个这样的值都可能是另一个序列。

(accumulate append nil seq) 将使用 append 将 seq 中元素的所有副本连接到一个新列表中。

因此，flatmap 会将 proc 应用于 seq 的所有元素，并生成一个新的扁平化列表所有的结果。从概念上讲，这也是其他语言(Java、Scala 等)中 map 和 flatmap 的区别，因为 map 生成一个每个元素的值，而 flatmap 可能产生多个或没有(感谢 Chris)。

例如，在 Clojure 中:

(map #(clojure.string/split  % #"\s+") ["two birds" "with one stone"])
;; => (["two" "birds"] ["with" "one" "stone"])

(mapcat #(clojure.string/split  % #"\s+") ["two birds" "with one stone"])
;; => ("two" "birds" "with" "one" "stone")