[org.clojure/core.typed "0.3.30"]
core.typed 0.3.30 removes the concept of a "collection phase",
instead collecting annotations at runtime. This
reduces the number of passes over a file from 2 to 1.
Type annotation collection basically work like clojure.spec now.
Evaluation = collection.
It also eliminates the need to type check "annotation only" namespaces.
A future optimisation will be to avoid compiling these namespaces entirely
with the slower internal compiler.
I'm planning to add many more top-level optimisations to make core.typed
more usable.
Please try it out.
Thanks,
Ambrose