Crowdfunding for Typed Clojure and ClojureScript
Backed.Optional typing seems really promising, I'd like to hear more about what kinds of things it can't do though.  If you hypothetically do annotate all your code, what are you missing out on by not having pervasive static typing built in like in Haskell?  Is it mostly the fact that you're much less likely to go back and annotate all your code or are there deeper trade offs I'm not seeing since I'm not that experienced with strongly statically typed languages?Does anyone know any good resources about the tradeoffs?