[travisjungroth]

You can statically analyze specs and check them at runtime if you want.

[c-cube]

Can you? Is there any tool that actually does that reliably?

[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.