Fork me on GitHub
#off-topic
<
2019-09-14
>
borkdude10:09:31

I implemented a spartan form of local type checking in clj-kondo. Any volunteers for testing? demo: https://twitter.com/borkdude/status/1172628472273035265 You can test by checking out https://github.com/borkdude/clj-kondo at the typing branch and lint random (Clojure) code using:

clojure -A:clj-kondo --lint <your-code> | grep Expected
The grep takes care of only displaying the type errors that clj-kondo found. Please report any false positives you may find in the smallest repro possible. Issue where you might report findings: https://github.com/borkdude/clj-kondo/issues/445