It’s interesting to see how core.typed’s verbosity and inability to adequately cover Clojure’s core led to lack of adoption, compared to Typescript’s devotion to both covering existing code and adherence to Javascript’s “style”. I think there’s room for static types in dynamic languages like Clojure but it’s going to come from projects like Malli that feel like Clojure (loose, I know), and not from something like core.typed.
It’s interesting to see how core.typed’s verbosity and inability to adequately cover Clojure’s core led to lack of adoption, compared to Typescript’s devotion to both covering existing code and adherence to Javascript’s “style”. I think there’s room for static types in dynamic languages like Clojure but it’s going to come from projects like Malli that feel like Clojure (loose, I know), and not from something like core.typed.