3 ms·
this rings pretty true to me. I have a whole host of reasons for wishing I could switch our group into the Clojure ecosystem, but a huge thing holding me back i
by ledauphin 6y ago
this rings pretty true to me. I have a whole host of reasons for wishing I could switch our group into the Clojure ecosystem, but a huge thing holding me back is not feeling confident that I understand how spec 2 would help us efficiently solve the documentation and pre-runtime correctness verification problems that static typing (Flow and typescript and mypy) give us.
- slifin 6y agoSpec isn't directly for static analysis Spec is for specification which can be used for more things than precompile problem checking Clj-kondo is for precompile static analysis that also supports minimal typing