What do you know about "initial expectations" of Typed Clojure specifically? I for one have worked with Ambrose on the same team, he's a good friend of mine and we discussed his dissertation at least a few times. I don't argue about static vs. dynamic typing without specific context, because it always matters. I have intimate understanding for why Clojure is how it is. I'm not defending it blindly - just like any other PL it has its own warts, but you're picking the wrong ones to criticize its face value.