Clojure 堆栈溢出使用 recur、lazy seq？

Question

我读过其他人关于 Clojure 中堆栈溢出问题的问题，该问题往往是在某处构建的惰性序列。这似乎是问题所在，但我一生都无法弄清楚问题出在哪里。

这是代码，代码后是一些解释：

(defn pare-all []
  "writes to disk, return new counts map"
(loop [counts (counted-origlabels)
     songindex 0]
(let [[o g] (orig-gen-pair songindex)]
  (if (< songindex *song-count*) ;if we are not done processing list
    (if-not (seq o) ;if there are no original labels
      (do
        (write-newlabels songindex g);then use the generated ones
        (recur counts (inc songindex)))
      (let [{labels :labels new-counts :countmap} (pare-keywords o g counts)] ;else pare the pairs
        (write-newlabels songindex labels)
        (recur new-counts (inc songindex))))
    counts))))

最初从函数“counted-origlabels”检索的“counts”中存储了一个地图。该映射具有字符串键和整数值。它有 600 左右的项目长，并且值在迭代期间更新，但长度保持不变，我已经验证了这一点。

“orig-gen-pair”函数从文件中读取并返回一对短序列，每个序列大约有 10 个项目。

“write-newlabels”函数只是将传递的序列写入磁盘，没有任何其他副作用，也不返回值。

“Pare-keywords”返回一个短序列和“counts”映射的更新版本。

我只是不明白什么惰性序列可能会导致这里的问题！

任何提示将非常感激！

----编辑----

大家好，我已经将我的函数更新为（希望）更符合 Clojure 习惯。但我原来的问题仍然存在。首先，这是新代码：

(defn process-song [counts songindex]
  (let [[o g] (orig-gen-pair songindex)]
(if-not (seq o) ;;if no original labels
  (do
    (write-newlabels songindex g);then use the generated ones
    counts)
  (let [{labels :labels new-counts :countmap} (pare-keywords o g counts)] ;else pare the pairs
    (write-newlabels songindex labels)
    new-counts))))

(defn pare-all []
  (reduce process-song (counted-origlabels) (range *song-count*)))

这仍然以 java.lang.StackOverflowError (repl-1:331) 结束。堆栈跟踪对我来说没有多大意义，除了它似乎表明正在发生惰性序列混乱。还有更多提示吗？我需要将代码发布到 process-song 调用的函数中吗？谢谢！

Answer 1

如果没有更具体的示例数据，我无法完全理解您要做什么，但很明显您正在尝试使用递归来迭代数据。你让事情变得比你需要的更加痛苦。

如果您可以生成一个函数（我们称之为“do-the-thing”），该函数可以通过地图中的单个条目正确运行，那么您可以调用 (map do-the-thing (counted-origlabels))，并且它将应用 ( do-the-thing) 到 (counted-origlabels) 中的每个映射条目，将单个映射条目传递给 do-the-thing 作为唯一参数，并返回 do-the-thing 返回值的序列。

您看起来还需要索引，这也很容易解决。您可以将惰性序列（范围）拼接为执行该操作的第二个参数，然后您将为每个映射条目生成一系列索引；然而，clojure 中的映射默认情况下是不排序的，因此除非您使用排序映射，否则此索引值相对没有意义。

尝试抽象出你到目前为止所写的内容，尝试如下：

(defn do-the-thing [entry index counts]
  (let [[o g] (orig-gen-pair index)]
    (if-not (seq o)
      (write-newlabels index g)
      (let [{labels :labels new-counts :countmap} (pare-keywords o g counts)]
        (write-newlabels index labels)))))

(map do-the-thing (counted-origlabels) (range) (constantly (counted-origlabels)))