Clojure - 首先+过滤懒惰

Question

我正在学习 Clojure。在解决其中一个问题时，我不得不使用 first + filter。我注意到过滤器对于所有输入都不必要地运行。如何使 filter 延迟运行，以便它不需要对整个输入应用谓词。

下面是一个例子，表明它并不懒惰，

(defn filter-even
  [n]
  (println n)
  (= (mod n 2) 0))

(first (filter filter-even (range 1 4)))

上面的代码打印

1

2

3

而它不需要超过2。我们怎样才能让它变懒呢？

Answer 1

发生这种情况是因为 range 是一个分块序列:

(chunked-seq? (range 1))
=> true

它实际上会获取前 32 个元素(如果可用):

(first (filter filter-even (range 1 100)))
1
2
. . .
30
31
32
=> 2

This overview显示了一个 uncunk 函数来防止这种情况发生。不幸的是，它不是标准的:

(defn unchunk [s]
  (when (seq s)
    (lazy-seq
      (cons (first s)
            (unchunk (next s))))))

(first (filter filter-even (unchunk (range 1 100))))
2
=> 2

或者，您可以将 list 应用于它，因为列表没有分块:

(first (filter filter-even (apply list (range 1 100))))
2
=> 2

但是很明显，整个集合需要实现预过滤。

老实说，这并不是我太担心的事情。过滤功能通常不会太昂贵，并且 32 个元素 block 在总体方案中也不会那么大。