Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Clojure: lazy magic

Almost 2 identical programs to generate infinite lazy seqs of randoms. The first doesn't crash. The second crash with OutOfMemoryError exception. Why?

;Return infinite lazy sequence of random numbers    
(defn inf-rand[] (lazy-seq (cons (rand) (inf-rand))))    

;Never returns. Burns the CPU but won't crash and lives forever.    
(last (inf-rand))

But the following crash pretty quickly:

;Return infinite lazy sequence of random numbers    
(defn inf-rand[] (lazy-seq (cons (rand) (inf-rand))))    
(def r1 (inf-rand))

;Crash with "OutOfMemoryError"
 (last r1)
like image 425
GabiMe Avatar asked Nov 18 '09 14:11

GabiMe


1 Answers

I believe this is an example of "holding onto the head".

By making the reference r1 in the second example you open up the possibility of later saying something like (first r1) so you will end up storing the members of your lazy-seq as they are reified.

In the first case Clojure can determine that nothing will ever be done with earlier members of the infinite sequence so they can be disposed of and not consume memory.

I am still very much a Clojure beginner myself, any comments or corrections to my understanding or terminology greatly appreciated.

like image 178
Alex Stoddard Avatar answered Oct 22 '22 22:10

Alex Stoddard