在 Clojure 中减少一个惰性序列，例如带有条件的循环

Question

我有一个无限的惰性序列，它产生一个“前导”和一个“模式重复”，这种序列的一个简单示例可以在 Clojure 中实现：

(def infinite-lazy-sequence
  (lazy-cat [4] (cycle [1 2 3])))

=> (take 20 infinite-lazy-sequence)
(4 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1)

我想获得构成这个infinite-lazy-sequence 的元素的set，这是使用loop 实现它的一种方法：

(loop
  [[head & tail] infinite-lazy-sequence
   result #{}]
  (if (contains? result head)
    result
    (recur tail (conj result head))))

=> #{1 2 3 4}

这里的问题是：使用reduce 是否可以达到相同的结果？并使用take-while?

编辑：

使用 clojure-1.5.1 和 perforate-0.2.4 进行基准测试

建议loop-recur 实施：

Case:  :loop-recur
Evaluation count : 60 in 60 samples of 1 calls.
             Execution time mean : 1.054975 sec
    Execution time std-deviation : 26.316442 ms
   Execution time lower quantile : 1.026187 sec ( 2.5%)
   Execution time upper quantile : 1.125854 sec (97.5%)

@sw1nn reduce-reduced 实现：

Case:  :reduce-reduced
Evaluation count : 120 in 60 samples of 2 calls.
             Execution time mean : 875.091831 ms
    Execution time std-deviation : 19.745142 ms
   Execution time lower quantile : 850.871606 ms ( 2.5%)
   Execution time upper quantile : 921.947759 ms (97.5%)

Answer 1

Clojure 1.5 添加了reduced 以允许减少短路...

 (reduce (fn [a v] (if-not (a v) (conj a v) (reduced a))) 
         #{} 
         infinite-lazy-sequence)
 => #{1 2 3 4}