I think clojure spec is still typed. It is just not the type other languages uses.