recursion - 如何实现惰性 "reducing map"函数？

Question

我正在尝试实现“缩小 map ”功能。也就是说，它应该返回一个序列，该序列由将 f 应用于 coll 的前 2 项的结果组成，然后是应用 f 的结果> 该结果和 coll 中的第三项，等等。

(def c [[0 0 0 0] [1 0 0 0] [0 1 0 0] [0 0 1 0] [0 0 0 1]])

(defn- sum-vector [v1 v2]
  (map + v1 v2))

(defn reduce-map [f coll & acc]
  (if (< (count coll) 2)
    (if (empty? acc) coll acc)
    (let [head (apply f (take 2 coll))
          tail (drop 2 coll)]
      (recur f (conj tail head) (conj acc head)))))

例如，像这样调用这个函数:

(reduce-map sum-vector c)

应该返回:

[[1 0 0 0] [1 1 0 0] [1 1 1 0] [1 1 1 1]]

(实际上，它可能也应该返回未修改的第一项，以更好地模仿 map，但我可以稍后修复它。)

现在，这是它返回的内容:

((1 1 1 1) (1 1 1 0) (1 1 0 0) (1 0 0 0))

如何在 (ny) seq 的末尾“推送”？

如果我用 reduce-map 代替 recur，这就是它返回的内容:

(((1 1 1 1) ((1 1 1 0) ((1 1 0 0) ((1 0 0 0))))))

在我上面的代码中，recur 和真正的递归有什么区别？

而且，是否有内置的、更好的或更惯用的方式来实现 reduce-map？

最后，我希望输出序列是惰性的。我是否只是将整个内容包装在 lazy-seq 中？

Answer 1

这听起来有点像 reductions .

至于 seq 末尾的“插入”:通常 seqs 没有“结束”，参见。 (迭代 inc 0)。

至于在列表末尾“推送”:列表不是为此设计的。使用矢量。使用 [] 而不是 nil 为您的累加器提供种子。

至于lazy-seq:使用“真正的”递归代替recur。这里有一个例子:

(defn integer-seq
  [start]
  (lazy-seq
    (cons start (integer-seq (inc start)))))