Clojure + core.typed sounds like an ideal balance to me. I haven't actually used it yet but I might for my next side project.

http://typedclojure.org/