I'd like something like Clojure, but with static typing and native compilation.
There are of course so many lisps that I’m sure some other ones also have static typing.
Racket is dynamically typed.
Typed Racket is gradually typed, but that's a different language, implemented in Racket (there's something like a half-dozen other typed lisps bundled with the Racket distribution, too.)