type-in​​fer:Clojure实用程序,用于检查Clojure编译器推断的静态类型