There's nothing preventing you from using core.typed (http://typedclojure.org/ http://typedclojure.org/) in Clojure. There's a presentation from CircleCI on how

There's nothing preventing you from using core.typed (http://typedclojure.org/ http://typedclojure.org/) in Clojure. There's a presentation from CircleCI on how they use core.typed (http://blog.circleci.com/supporting-typed-clojure/ http://blog.circleci.com/supporting-typed-clojure/) where it makes sense for their projects.