无限懒序列扩展到JVM用尽内存为止

Question

你好，我是Clojure和懒序列的新手。

(defn get-biggest-prime-factor [num]
  (let [max-check (inc (Math/sqrt num))
        lazy-primes (filter-lazy-seq is_prime naturals)]
    (loop [prime (first lazy-primes)
           max-factor 1]
      (cond (>= prime max-check) max-factor
            (= 0 (rem num prime)) (recur (first (rest lazy-primes)) (first lazy-primes))
            :else (recur (first (rest lazy-primes)) max-factor)))) )

• naturals 是一个无限懒序列，包含1,2,3...
• filter-lazy-seq 是一个函数，它返回一个由第二个参数派生出的懒序列。序列中的每个元素都通过第一个参数进行验证，该参数是一个谓词
• is-prime 是一个检查数字是否为素数的函数

任何帮助都将受到欢迎。

Comments

你能提供余下的代码吗？

---

当然，

(defn is_prime [num]
  (letfn [(helper [i]
            (cond
              (> i (Math/sqrt num)) true
              (= 0 (rem num i)) false
              :else (recur (inc i))))]
    (helper 2)))

;返回一个懒序列，其中每个后续元素都通过谓词进行过滤
(defn filter-lazy-seq [predicate sequence]
  (当 sequence  为 nil 时) nil
        (predicate (first sequence))
        (cons (first sequence) (lazy-seq (filter-lazy-seq predicate
                                                          (rest sequence))))
        :else (filter-lazy-seq predicate (rest sequence))))

(defn 自然数生成 []
  (letfn [(辅助函数 [n]
            (cons n (lazy-seq (辅助函数2 (inc n)))))]
    (辅助函数 1))
  )

(def 自然数列表 (自然数生成))

Answer 1

我怀疑你的问题是“持有头结”——你的函数将 lazy-primes 绑定到序列中，然后你沿着序列前进，因此你仍然有一个对整个序列的引用，如果你请求足够大的 num，由于你的函数需要整个序列才能工作，你将超出堆大小。

Comments

所以，即使我请求很小的数字（即（get-biggest-prime-factor 6)），评估也会继续，直到内存溢出。我在问题评论部分提供了其余的代码。

---

现在我已经看到了所有代码，并在REPL中尝试了，我看到了问题

在`get-biggest-prime-factor`中，当你递归时，你传递`(first (rest lazy-primes))`，但`lazy-primes`在循环中不会改变，所以你总是传递2，它会重复检查相同的值。

此外，在一次递归中，你将`(first lazy-primes)`作为最大因子传递 -- 再次，这也永远不会改变。

---

非常感谢！！！