[ANN] core.typed 0.3.30 - Remove "collection phase"

29 views
Skip to first unread message

Ambrose Bonnaire-Sergeant

unread,
Jan 11, 2017, 10:47:01 AM1/11/17
to core.typed
Hi,

[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
Reply all
Reply to author
Forward
0 new messages