Typed Clojure 保留了 Clojure 的优势，是 Clojure 的可选类型系统，也可以说是 Clojure 的一个库，改善了大量的静态类型安全检测。
主要特性：
从 Java 中保护你的 Clojure 程序，进行安全的互操作，正确的使用外部 Java 库。
Typed Clojure 支持关键字映射的使用，类型检测器中包含有用的映射操作，包括关键字查找，添加或者移除关键字，合并映射等等。
Typed Clojure 使用简单而高效的推断技术来推断本地程序流。
Typed Clojure 支持类似 Scala 的本地类型判断。
像函数一样进行类型检测
