typehints.clj

(def test-form1
  '(let [^String a "a"]
     :ok))

(def test-form2
  `(let [^String ~'a "a"]
     :ok))

(def test-form3
  `(let [^String a# "a"]
     :ok))

(def test-form4
  `(let [~(with-meta 'a {:tag 'java.lang.String}) "a"]
     :ok))

(def test-form5
  `(let [~(with-meta 'a {:tag java.lang.String}) "a"]
     :ok))

(defn tags-types [form]
  (clojure.walk/prewalk
   (fn [form]
     (when-let [m (meta form)]
       (when-let [t (:tag m)]
         (prn m t (type t))))
     form)
   form))