I know of clojure typed. But im worried it needs to be first class. I.e i need all my dependencies to be typed, as that is my api and it usually covers large su

I know of clojure typed. But im worried it needs to be first class. I.e i need all my dependencies to be typed, as that is my api and it usually covers large surface. Id also be careful with your 2nd statement. Scala has macros. Im happy clojure is on the block, dont get me wrong :) each to their own. Type system is incredibly important to me and my productivity.