Clojure is strongly, dynamically (as opposed to statically) typed.

Definitely has types.