我正在尝试实现“缩小 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
中?
最佳答案
这听起来有点像 reductions
.
至于 seq 末尾的“插入”:通常 seqs 没有“结束”,参见。 (迭代 inc 0)
。
至于在列表末尾“推送”:列表不是为此设计的。使用矢量。使用 []
而不是 nil
为您的累加器提供种子。
至于lazy-seq
:使用“真正的”递归代替recur
。这里有一个例子:
(defn integer-seq
[start]
(lazy-seq
(cons start (integer-seq (inc start)))))
关于recursion - 如何实现惰性 "reducing map"函数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4254763/