@ambrosebs That is very interesting! Do you have a comparison to related work, e.g. the macrology work in Racket, in your thesis or somewhere else?

@whilo yes. Part III compares it thoroughly with tools.analyzer, and IIRC hints at comparisons to Common Lisp's standard. See Chapter 25 for some brief comparisons to turnstile and similar https://ambrosebs.com/files/ambrosebs-phd-thesis.pdf

keep in mind as you read it that typing rules for Typed Clojure was hypothetical at that point and had only been prototyped. so there's some soft language in the related works.

I see my analyzer's AST as basically playing the role of syntax objects in a language whose macros take plain data. so it's a little strange.

my armchair understanding of Racket's macro system is that macro takes and returns syntax objects