When are the different elements of a lazy sequence realized in clojure?

Question

I'm trying to understand when clojure's lazy sequences are lazy, and when the work happens, and how I can influence those things.

user=> (def lz-seq (map #(do (println "fn call!") (identity %)) (range 4)))
#'user/lz-seq
user=> (let [[a b] lz-seq])
fn call!
fn call!
fn call!
fn call!
nil

I was hoping to see only two "fn call!"s here. Is there a way to manage that? Anyway, moving on to something which indisputably only requires one evaluation:

user=> (def lz-seq (map #(do (println "fn call!") (identity %)) (range 4)))
#'user/lz-seq
user=> (first lz-seq)
fn call!
fn call!
fn call!
fn call!
0

Is first not suitable for lazy sequences?

user=> (def lz-seq (map #(do (println "fn call!") (identity %)) (range 4)))
#'user/lz-seq
user=> (take 1 lz-seq)
(fn call!
fn call!
fn call!
fn call!
0)

At this point, I'm completely at a loss as to how to access the beginning of my toy lz-seq without having to realize the entire thing. What's going on?

Just a small comment: `map` is not supposed to take a function with side effect, otherwise, you might receive unexpected behaviours. Whenever you need to produce some side effect, use `doseq` instead. — Ha-Duong Nguyen, May 27 '12 at 16:35

score 2 · Answer 1 · answered May 25 '12 at 08:04

2

I believe that the expression produces a chunked sequence. Try replacing 4 with 10000 in the range expression - you'll see something like 32 calls on first eval, which is the size of the chunk.

answered May 25 '12 at 08:04

Rafał Dowgird

43,216
11
77
90

NielsK · Accepted Answer · 2012-05-25T08:20:53.600

2

Clojure's sequences are lazy, but for efficiency are also chunked, realizing blocks of 32 results at a time.

=>(def lz-seq (map #(do (println (str "fn call " %)) (identity %)) (range 100)))
=>(first lz-seq)

fn call 0
fn call 1
...
fn call 31
0

The same thing happens once you cross the 32 boundary first

=>(nth lz-seq 33)
fn call 0
fn call 1
...
fn call 63
33

For code where considerable work needs to be done per realisation, Fogus gives a way to work around chunking, and gives a hint an official way to control chunking might be underway.

edited May 25 '12 at 08:20

answered May 25 '12 at 08:08

NielsK

6,886
1
24
46

2

Whatever official avoidance mechanism Fogus was talking about two years ago has not materialized since. However, the work on the new fold/reduce library will mitigate this problem by allowing you to do a lot of your current lazy-sequence work in a way that is faster than chunking but doesn't realize any unnecessary elements. – amalloy May 25 '12 at 09:45

score 0 · Answer 3 · answered May 25 '12 at 08:08

A lazy sequence is one where we evaluate the sequence as and when needed. (hence lazy). Once a result is evaluated, it is cached so that it can be re-used (and we don't have to do the work again). If you try to realize an item of the sequence that hasn't been evaluated yet, clojure evaluates it and returns the value to you. However, it also does some extra work. It anticipates that you might want to evaluate the next element(s) in the sequence and does that for you too. This is done to avoid some performance overheads, the exact nature of which is beyond my skill-level. Thus, when you say (first lz-seq), it actually calculates the first as well as the next few elements in the seq. Since your println statement is a side effect, you can see the evaluation happening. Now if you were to say (second lz-seq), you will not see the println again since the result has already been evaluated and cached.

A better way to see that your sequence is lazy is :

user=> def lz-seq (map #(do (println "fn call!") (identity %)) (range 400))
#'user/lz-seq
user=> (first lz-seq)

This will print a few "fn call!" statements, but not all 400 of them. That's because the first call will actually end up evaluating more than one element of the sequence.

Hope this explanation is clear enough.

score 0 · Answer 4 · answered May 25 '12 at 08:21

I think its some sort of optimization made by repl. My repl is caching 32 at a time.

user=> (def lz-seq (map #(do (println "fn call!") (identity %)) (range 100))
#'user/lz-seq
user=> (first lz-seq)
prints 32 times
user=> (take 20 lz-seq)
does not print any "fn call!"
user=> (take 33 lz-seq)
prints 0 to 30, then prints 32 more "fn call!"s followed by 31,32

When are the different elements of a lazy sequence realized in clojure?

4 Answers4