clojure序列類型

Question

序列的正確類型是什麼？我有這樣的代碼：

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

但它似乎並不正確執行類型的要求，因爲我可以寫(new MethodInfo 1 2)。

Answer 1

我的理解是，Clojure的Type Hints只是出於性能原因，通過側向反射改善方法查找;這是他們唯一的目的，而不是以動態語言強制實施靜態類型。請參閱this answer to a similar question

編輯：

還有就是能夠enforce primitive return types in some cases in Clojure 1.3談話，但這顯然東西是在不斷變化，仍然將不適用於序列類型。