Clojure 中使用 cons 收集对

Question

我在 Clojure 中基于 Eratosthenes 的 Sieve 编写了一个 Sieve 类型的函数.....并且遇到了对列表的错误：ClassCastException clojure.lang.Cons cannot be cast to java.lang.Number clojure。 lang.Numbers.remainder(Numbers.java:171)

---

(defn mark-true [n]
  (cons n '(true)))

(defn unmarked? [ns]
  (not (list? ns)))

(defn divides? [m n]
  (if (= (mod n m) 0)
      true
      false ))

(defn mark-divisors [n ns]
  (cond 
      (empty? ns) '()
      (and (unmarked? (first ns)) (divides? n (first ns))) 
           (cons (cons (first ns) '(false)) (mark-divisors n (rest ns)))
      :else (cons (first ns) (mark-divisors n (rest ns)))))

(defn eratosthenes [ns]
  (cond 
      (empty? ns) '()
      (unmarked? (first ns))
           (cons (mark-true (first ns)) 
                 (eratosthenes (mark-divisors (first ns) (rest ns))))
      :else (cons (first ns) (eratosthenes (rest ns)))))

---

;(eratosthenes (list 2 3 4 5 6))
;=> ClassCastException clojure.lang.Cons cannot be cast to java.lang.Number  clojure.lang.Numbers.remainder (Numbers.java:171)

但是，更改标记样式，放弃 cons 并改用 conj 或向量对，都解决了错误。

我仍在寻找错误的良好解释....

Answer 1

问题是list? 在使用cons 构建的序列上检查失败，如下所示：

(list? (conj () 1)) ;=> true
(list? (cons 1 ())) ; => false

您可以将呼叫list? 切换为呼叫seq?，它应该可以工作。

有关为什么会这样的详细信息，我建议阅读此答案：Clojure: cons(seq) vs. conj(list)