[muhuk]

I gave up on core.typed because I've found adding type annotations to most of the forms is significantly harder compared to a statically typed language. (In hindsight this is obvious, I know.)

Not having type-checking doesn't necessarily make Clojure any less awesome for me though. I write unit tests, add (some form of) contracts at least to the public functions and pay attention to documenting public stuff. And not doing excessively clever things like having unnecessary mini-DSL's within the code also help.