4 ms·

Clojure has something that arguably better than most static type systems, it has Clojure.spec

• pka 10y ago
  But it's not static. Pre/postcondition runtime checks can be implemented in a static language as well.