Clojure可选类型系统TypedClojure.zip

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