2

我正在尝试实现“减少地图”功能。也就是说，它应该返回一个序列，该序列由应用f到 的前 2 项的结果组成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吗？

4

1 回答 1

10

这听起来有点像reductions。

至于 seq 末尾的“推”：通常 seq 没有​​“结束”，参见。(iterate inc 0).

至于在列表末尾“推”：列表不是为此而设计的。使用向量。为您的累加器播种[]，而不是nil。

至于lazy-seq：使用“真实”递归而不是recur. 这里有一个例子：

(defn integer-seq
  [start]
  (lazy-seq
    (cons start (integer-seq (inc start)))))
于 2010-11-23T09:57:55.037 回答