clojure - 在clojure中，为什么空列表的类型与非空列表的类型不同？

Question

我想判断两个值是否类型相同，但是发现空列表的类型是clojure.lang.PersistentList$EmptyList而不是clojure.lang.PersistentList 。

user=> (def la '())
#'user/la
user=> (def lb '(1 2))
#'user/lb
user=> (def t (map type [la lb]))
#'user/t
user=> t
(clojure.lang.PersistentList$EmptyList clojure.lang.PersistentList)
user=> (apply = t)
false
user=> 

所以，我想知道为什么空列表的类型与非空列表的类型不同，以及判断两个事物是否具有相同类型的正确方法是什么？

Answer 1

不要依赖 Clojure 数据结构的具体类型。它们是未记录的实现细节，您无法保证它们在 Clojure 的 future 版本中不会更改。

依赖抽象(例如由 IPercientList 或 ISeq 接口(interface)定义的抽象)更安全。这些不太可能以可能破坏代码的方式进行更改(我的理解是，在抽象方面，Rich Hickey 非常注重向后兼容性。如果您依赖具体的实现，我相信他会说这是您自己的错如果事情坏了)

但是更好，您应该使用 clojure.core 中的函数，例如 seq? 或 list? ，具体取决于您想要检测的内容。这些不仅可以长期保持向后兼容性，而且还有机会在非 JVM 版本的 Clojure(例如 ClojureScript)上正常工作。