I thought Erlang unlike Go uses Actor model? And Clojure's more known for STM? Then, what is "hosed language"?

I also looked into Clojure recently (without any real project at hand), and while LISP nature of Clojure is more or less evident, what I strongly dislike in Clojure is it's Java types protruding everywhere and simplest mistake (like forgetting to removed braces around argument) results in a long stack trace, going deep into Java land instead of cutting it short. Yes, I understand Clojure has excellent interop with Java libraries, even simpler than CPython's with C.

As you pointed out, dynamic typing is under debate, but pls listen to Uncle Bob Martin why he still prefers that. It turns out dynamic typing is quite essential to build more flexible software unless the language is having dependent types (like proof assistants Idres, Coq, etc). It is of course possible to build any software in typed languages, but the catch is dynamic feature type-checks will need to be emulated to be run at run-time, so the benefit of typing will not be available where it's most needed.