Clojure 序列类型

Question

5

什么是序列的正确类型？我有这段代码：

(defrecord MethodInfo [^clojure.lang.ISeq preconds ^clojure.lang.ISeq postconds])

但似乎它并不能正确地强制类型要求，因为我可以写(new MethodInfo 1 2)。

- gatoatigrado

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Scott · Accepted Answer

我的理解是Clojure的类型提示只是为了提高方法查找的性能，通过规避反射来实现；这是它们唯一的目的，并不是在动态语言中强制使用静态类型。

请参见类似问题的答案。 编辑： 有人谈论能够在某些情况下强制Clojure 1.3返回原始类型，但这显然还在变化中，而且仍然不适用于序列类型。