The goal of this project funded by Clojurists Together is to (resurrect) support for type checking ClojureScript files in Typed Clojure.
Since the last update, support for type-checking ClojureScript has improved enough to consider the CLJS type checker "resurrected" (but still young).
To stress test the ability for Typed Clojure to check .cljc files, I have been type checking malli's implementation.
Checking in CLJS mode has revealed many bugs and shortcomings in the checker. Clojure mode has been outrageously successful--it found a bug in malli!
Some other feature work has been landing in Typed Clojure that has support for both Clojure and ClojureScript (enabled by this Clojurists Together project).
- using malli schemas as types
- using specs as types (CLJS WIP)
- support defprotocol and implements? in CLJS
- checking programs without depending on Typed Clojure
- new syntactic sugar for function types
See the CHANGELOG.md for full details on everything else accomplished in the time period since the last update (versions 1.0.21-1.0.28).