转载

当心 Clojure 的 lazy-seq

Clojure 这门语言的优雅之处自然离不开 lazy sequence， clojure.core 核心库里面很多函数返回值是 lazy-seq（比如 map, filter)。

lazy sequence 的好处

先一睹为快，使用 lazy-cat 定义 Fibonacci 数列。

(def fib-seq (lazy-cat [0 1] (map + fib-seq (rest fib-seq))))

结合 map

[x y z ,,,] => [[x 0] [y 1] [z 2] ,,,] ;; (range) 返回无穷整数序列， 如果直接获取他的值， 会内存溢出。 (defn conj-position [xs]   (map #(do [%1 %2]) xs (range)))

lazy sequence 的缺陷（不能算是缺陷，是特性）

带走异常

;; 定义时候不发生异常， 使用的时候发生异常， 使用的时候一定注意。 ;; 有时会抛出莫名奇妙的错误， 找不到出错点。 user>  (def a (for [i (range 10)] (/ 1 i))) ;; => #'user/a user> a ArithmeticException Divide by zero  clojure.lang.Numbers.divide (Numbers.java:156) user>

binding 上下文环境失效

;; map 返回 lazy sequence， 到使用时才运算， 在这个例子中，计算 ;; vs 的值的时候， 已经脱离了 (binding [*x* 7]) 的环境. user> (def ^:dynamic *x* 3) ;; => #'user/*x* user>  user> (def vs (binding [*x* 7] (map #(+ *x* %) (range 10)))) ;; => #'user/vs user> vs ;; => (3 4 5 6 7 8 9 10 11 12) ;; ;; mapv 返回的不是 lazy sequence user> (def vs (binding [*x* 7] (mapv #(+ *x* %) (range 10)))) ;; => #'user/vs user> vs ;; => [7 8 9 10 11 12 13 14 15 16] ;; ;; let 绑定动态  *x* 到 lexical's variable x, 形成闭包。  user> (def vs (binding [*x* 7] (let [x *x*] (map #(+ x %) (range 10))))) ;; => #'user/vs user> vs ;; => (7 8 9 10 11 12 13 14 15 16) user>

正文到此结束