@ieure did you see my post from the other day about how static analysis is inherently in tension with Clojure's macros? https://technomancy.us/200