Hi,
Announcing core.typed 0.3.29.
[org.clojure/core.typed "0.3.29"]
This release requires a minimum of Clojure 1.9.0-alpha14.
I've added an experimental type checking mode that allows unannotated
vars, and type checks them as a new "unchecked" type, that resembles
an unsafe dynamic type in other type systems.
Here's a
demo repository.
Thanks,
Ambrose