17、Clojure编程：序列、惰性求值、类型与宏的深度探索

Clojure编程：序列、惰性求值、类型与宏的深度探索

1. 递归与 loop 和 recur

在函数式编程中，递归是常用的编程方式。例如，下面的递归程序用于计算向量的大小：

(defn size [v]
  (if (empty? v)
    0
    (inc (size (rest v)))))
(size [1 2 3])

不过，递归算法会不断消耗内存，可能导致内存耗尽。在 Clojure 中，由于 JVM 的限制，不支持隐式尾递归优化，需要使用 loop 和 recur 来显式递归。 loop 类似于 let 语句， recur 用于再次调用 loop 并传递新的值。

下面是使用 recur 重构后的 size 函数：

(defn size [v]
  (loop [l v, c 0]
    (if (empty? l)
      c
      (recur (rest l) (inc c)))))

虽然这种方式实现了尾递归优化，但代码变得更繁琐。不过，由于一些基本集合 API 已经内置了该功能，所以通常不需要频繁使用 recur 。

2. 序列