"does clojure.spec solve Clojure's type issues?" if Typed Clojure couldn't solve it, how is this going to? should be the response to that question

I'm referring to the opening paragraph of Martin's blog post which was linked this morning

did ya'll talk about when to do the clojure hack day after I left? @norman