Hacker News Reader

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

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