Typed ClojureClojure 可选类型系统

Typed Clojure 保留了 Clojure 的优势，是 Clojure 的可选类型系统，也可以说是 Clojure 的一个库，改善了大量的静态类型安全检测。

主要特性：

• 从 Java 中保护你的 Clojure 程序，进行安全的互操作，正确的使用外部 Java 库。

• Typed Clojure 支持关键字映射的使用，类型检测器中包含有用的映射操作，包括关键字查找，添加或者移除关键字，合并映射等等。

• Typed Clojure 使用简单而高效的推断技术来推断本地程序流。

• Typed Clojure 支持类似 Scala 的本地类型判断。

• 像函数一样进行类型检测