10、Clojure 集合与序列的深入解析

Clojure 集合与序列的深入解析

1. 集合抽象

在 Clojure 中，所有的数据结构都参与了通用的集合抽象。集合是一种可以与一组核心集合函数一起使用的值，这些核心函数包括：
- conj ：用于向集合中添加元素。
- seq ：用于获取集合的序列。
- count ：用于获取集合中元素的数量。
- empty ：用于获取与提供的集合相同类型的空实例。
- = ：用于确定一个集合与一个或多个其他集合的值是否相等。

这些函数对于所操作的具体集合类型是多态的，即每个操作都提供了与每个数据结构实现的约束一致的语义。

例如， conj 函数在不同的数据结构中有不同的行为：

(conj '(1 2 3) 4)
;= (4 1 2 3)
(into '(1 2 3) [:a :b :c])
;= (:c :b :a 1 2 3)

在列表中， conj 会将元素添加到列表的头部，这是因为列表的实现方式使得这种操作更高效。

empty 函数允许我们以通用的方式处理与给定实例相同类型的集合。例如，我们可以编写一个函数来交换顺序集合中值的对：

(defn swap-pairs
  [se