These are exciting developments. One of the things that I admire a lot about the Clojure community is its willingness to approach alternative language paradigms and tools (e.g. static analysis) without prejudice.