Hi supporters of Typed Clojure,

I'm playing around with combining typed.clj/reader with typed.clj/analyzer in yet another library called typed.clj/refactor.

Here's something fun: a function that "fully qualifies" forms even under macro expansion. https://gist.github.com/frenchy64/c894247516ce26bf21c49eace86a46e3

This took about 100 lines to implement.

Looks promising to me! Suggestions welcome for what to try next.

Ambrose