clojure - 函数不返回惰性序列

Question

我很困惑为什么下面的代码在我调用lazy-seq 时会进入无限循环并且不返回惰性序列：

 (= (take 5 ((fn [func se] 
               (lazy-seq 
                (reduce (fn [acc item] 
                          (conj acc (func (last acc) item)))
                        [(first se)] (rest se)))) 
             + 
             (range)))
     [0 1 3 6 10])

repl 只是随着 range 被无限调用而旋转。

我怎样才能让这个函数表现得惰性？

Answer 1

为了构造一个惰性序列，您需要返回一个根据需要实现的序列。

您在函数中所做的只是在 lazy-seq 调用中封装无限缩减。

有一种模式通常有效，并且只在需要时实现新元素：

 (lazy-seq
     (cons element (recursion ..

这意味着如果您想构建一个惰性 reduce，您将按照以下方式做一些事情：

 (fn [f s init]
    (lazy-seq
        (let [acc (f (first s) init)]
           (cons acc (recur f (rest s) acc))

在这种情况下，您返回的序列将作为部分实现的序列存在于内存中

  (0 1 3 (recur + (rest s) 3))

剩下的元素只存在logically作为所谓的递归。

你可以看看this previous answer解释reduce的非懒惰。