Could easily achieve this in Clojure with spec and rcf or spec and pre/post Everytime I inject new code into the running application I can check the static and

Could easily achieve this in Clojure with spec and rcf or spec and pre/post Everytime I inject new code into the running application I can check the static and runtime shape of things with a specification language In fact there's a choice of specification languages spec is just the in-built one some people prefer maili I could share those specifications into Clojurescript or in some cases over the wire Clojure has an assistant checking for mistakes too in clj-kondo they're just not coupled together by default