I completely agree and I wish we could have the best of both worlds. I love Clojure and I love the compiler support with static typing in other languages.<p>Clojure attempted to add static typing with the core.typed projects, but high-profile exits [0] from that framework have made clear that this is a problem that can only properly be implemented at the language level.<p>If I could have a lisp with static types, I might not use anything else again.<p>[0] <a href="https:&#x2F;&#x2F;circleci.com&#x2F;blog&#x2F;why-were-no-longer-using-core-typed&#x2F;" rel="nofollow">https:&#x2F;&#x2F;circleci.com&#x2F;blog&#x2F;why-were-no-longer-using-core-type...</a>