Clojure does have optional static typing via core.typed. It's still in active development, and the tooling around it is still rough around the edges, but it's a

Clojure does have optional static typing via core.typed. It's still in active development, and the tooling around it is still rough around the edges, but it's a more sophisticated type system than Java's.