Typed ClojureClojure 可選類型系統(tǒng)

Typed Clojure 保留了 Clojure 的優(yōu)勢，是 Clojure 的可選類型系統(tǒng)，也可以說是 Clojure 的一個庫，改善了大量的靜態(tài)類型安全檢測。

主要特性：

• 從 Java 中保護你的 Clojure 程序，進行安全的互操作，正確的使用外部 Java 庫。

• Typed Clojure 支持關(guān)鍵字映射的使用，類型檢測器中包含有用的映射操作，包括關(guān)鍵字查找，添加或者移除關(guān)鍵字，合并映射等等。

• Typed Clojure 使用簡單而高效的推斷技術(shù)來推斷本地程序流。

• Typed Clojure 支持類似 Scala 的本地類型判斷。

• 像函數(shù)一樣進行類型檢測