clojure - Clojure 中最简单的惰性函数

Question

我很难理解懒惰。

有人能帮我理解为什么我下面的函数不是懒惰的吗

(defn my-red
    ([f coll] (my-red f (first coll) (rest coll) ))
    ([f init coll] 
      (let [mr (fn [g i c d] 
            (if (empty? c) d 
        (recur  g (g  i (first c)) (rest c)  (conj d (g  i (first c)) ))))] 
    (lazy-seq (mr f init coll [])))))

而 clojure.org/lazy 上给出的这个例子是

(defn filter
  "Returns a lazy sequence of the items in coll for which
  (pred item) returns true. pred must be free of side-effects."
  [pred coll]
  (let [step (fn [p c]
                 (when-let [s (seq c)]
                   (if (p (first s))
                     (cons (first s) (filter p (rest s)))
                     (recur p (rest s)))))]
    (lazy-seq (step pred coll))))

Answer 1

filter 中的懒惰来自递归循环的 filter 分支中对 if 的调用。这就是代码命中另一个 lazy-seq 并停止评估 seq 的地方，直到请求另一个元素。

您的 my-red 实现一次且仅一次调用 lazy-seq，这意味着您的 seq 要么根本没有评估，要么完全没有评估。