I see. I guess we have very different experience with Clojure as I'm not hitting these issues at all, because almost none of the code I write is doing interop w

I see. I guess we have very different experience with Clojure as I'm not hitting these issues at all, because almost none of the code I write is doing interop with Java itself and I probably write 70% ClojureScript rather than Clojure. I could understand if you want a sound type system, that Clojure is far off from that. Thanks for explaining! I'm guessing you already seen and maybe played around with clojure.spec as well. Do you see it helping anything or it's a lost cause because you want compile-time typing?