Clojure静态类型,第2部分

这是对 my previous question 关于clojure静态类型。

我浏览了编译器的Java源代码,有几个地方检查编译器的值。 *warn-on-reflection* 但当我编译以下代码时,只会得到一个运行时错误:

(defn div-2 [^String s] (/ 2 s))

在任何情况下,此代码应该 不 给出编译时警告(不是)?让编译器对以下代码发出警告有多困难:

(defn get-length [^String s] (.length s))
(defn test-get-length [] (get-length 2.0))

谢谢。