Clojure sequence type

Question

What is the correct type of sequence? I have this code:

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

But it does not seem to correctly apply the type requirements, as I can write (new MethodInfo 1 2).

Answer 1

I understand that Clojure Type Hints exist only for performance reasons, to improve the search for methods of step-by-step reflection; This is their only goal and not apply static types in a dynamic language.

See this answer to a similar question .

Edit:

Clojure 1.3, , , .