[travisjungroth]

https://clojure.org/guides/spec#_using_spec_for_validation

[c-cube]

The words "static" or "analysis" do not appear there. I imagine you meant that you can runtime check the specs, which, well, is no replacement for a type system.