There is TypedClojure[1] for static typing in Clojure, but I am not quite sure how good the tooling is though, e.g. refactoring, code-intelligence abilities, et

There is TypedClojure[1] for static typing in Clojure, but I am not quite sure how good the tooling is though, e.g. refactoring, code-intelligence abilities, etc... [1]http://typedclojure.org http://typedclojure.org