Since you like strong typing and use Clojure, have you checked out Typed Clojure yet? I'm sure you have heard of it, but it seems obligatory to mention it in a

Since you like strong typing and use Clojure, have you checked out Typed Clojure yet? I'm sure you have heard of it, but it seems obligatory to mention it in any discussion of programming languages involving both Clojure and Haskell, or Clojure and type systems, or Scala and anything, or...