如何实现懒惰的"缩小地图"功能？

Question

我正在尝试实现"缩小地图"功能.也就是说,它应该返回一个序列,该序列包括应用于f前coll两项的结果,然后是应用于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没有"结束",参见 (iterate inc 0).

至于列表末尾的"推送":列表不是为此而设计的.使用矢量.种子你的蓄电池[],而不是nil.

至于lazy-seq:使用"true"递归而不是recur.这是一个例子:

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