Coffee Break Clojure, Vol.4
内容提要
本文介绍Clojure的惰性序列与函数式编程。惰性序列按需计算并缓存结果，可表示无穷序列。函数式编程禁止赋值、避免副作用，保证引用透明性，利于系统维护。文中通过凯撒密码、钩子系统、无重复随机数等练习，演示map、filter、reductions、loop/recur等用法。
延伸解读
惰性序列的缓存与代价
惰性序列按需计算并缓存结果，避免重复计算，但缓存也意味着内存占用会随访问增长。例如，对无穷序列调用 count 会强制求值所有元素，导致无法终止；shuffle、sort 等操作同样需要完整序列，不能用于无穷惰性序列。因此，使用惰性序列时需明确哪些操作会触发全部求值，避免意外消耗资源或陷入死循环。
函数式编程的工程权衡
函数式编程通过禁止赋值和避免副作用来减少可变状态，提升系统可维护性和引用透明性。然而，这可能导致性能问题，如递归调用消耗栈帧，需依赖尾调用优化。Clojure 并非纯函数式，允许副作用但不鼓励，这为实际工程提供了灵活性。读者应理解，函数式并非银弹，需在简洁性与性能间权衡。
练习中的陷阱与优化
文章中的练习展示了不同实现方式的差异。例如，生成无重复随机数时，使用 loop 和 set 的解法在 t 小于 n 时会死循环，而基于 shuffle 的解法更简洁且安全，时间复杂度为 O(n)。这提醒读者，在函数式编程中，选择合适的数据结构和算法至关重要，惰性求值虽强大，但需注意其求值时机和边界条件。
Q&A
Clojure 的惰性序列是什么？它有什么特点？
惰性序列是按需计算并缓存结果的序列，可以表示无穷序列。它像迭代器，但可以当作普通序列处理，且会缓存已计算的值，避免重复计算。
函数式编程为什么禁止赋值和副作用？
函数式编程禁止赋值和副作用是为了避免可变状态，保证引用透明性，从而让系统更容易维护。可变状态会导致复杂的状态同步问题，而副作用会使函数结果难以预测。
在 Clojure 中如何用惰性序列实现凯撒密码？
可以使用 range、map 和 zipmap 构造偏移量表。例如，生成字母表，然后通过 drop 和 take 循环移位，再用 zipmap 创建映射。
Clojure 的 loop/recur 和普通递归有什么区别？
loop/recur 是 Clojure 中实现递归的构造，recur 重新绑定 loop 的参数并跳回 loop 开头，避免栈溢出。它类似于尾递归优化，但不需要函数定义。
如何用 Clojure 生成无重复的随机数序列？
可以用 (->> (range t) shuffle (take n)) 生成，这种方法简洁且不会死循环。或者用 loop 和 set 去重，但要注意 t 小于 n 时可能死循环。
惰性序列在钩子系统中有什么作用？
惰性序列可以延迟计算，直到需要时才执行。在钩子系统中，可以用 map 和 filter 生成惰性序列，通过 seq 检查是否为空，再用 doall 强制执行，从而控制副作用的发生时机。
