clojure - 为什么 clojure 中的这么多函数对列表和向量有不同的行为以及如何更改它？

Question

在 clojure 中，你有几个函数对向量和列表有不同的作用。我有两个问题。

1）它有什么用？我相信 clojure 的创建者有很好的理由这样做，但我不知道。

2）无论数据是在列表还是向量中，如何使这些函数的类型安全变体以相同的方式运行？

定义的函数 conj 具有以下行为

(conj [1 2 3] 4)
[1 2 3 4]

(conj '(1 2 3) 4)
(4 1 2 3)

我想要一个具有以下行为的函数 my-conj

(my-conj [1 2 3] 4)
[1 2 3 4]

(my-conj '(1 2 3) 4)
(1 2 3 4)

还有其他功能（cons、into、peek、pop）具有相同的行为，所以如果这种结构可以很容易地适应所有这些功能，那就太好了。

score 9 · Accepted Answer

由于数据结构的实现方式，让它们的行为略有不同会更有效。例如，在列表的开头添加一个项目很容易（概念上只是将项目链接到现有列表的开头），但很难在向量的开头添加一个项目（从概念上将现有的项目向上移动指数），反之亦然。

另一种选择是一致的 conj，但最坏情况的复杂性要差得多。

score 3 · Accepted Answer

从表面上看，我理解这看起来很奇怪，但我认为这个想法是 conj 执行默认的、最简单的“向此集合添加元素”操作。向量和列表的构建方式不同，需要不同类型的默认操作。

2 回答 2