|
|
|
|
|
|
by ledauphin
1900 days 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. |
|
|
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