If you really belive that core.typed makes clojure as verbose as Java then you have not looked at it. Also, its not like people use clojure over java because they dont have to write down types. There are tons of other reasons people use clojure.

Also, core.typed can do things that java can not.

> Yes, but it doesn't even have types!

While I understand what you mean, you should write down what you mean. Clojure has types, but not static typing.