Ambrose Bonnaire-Sergeant
2017-01-08 18:19:08 UTC
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 <https://github.com/typedclojure/infer-vars> repository.
README <https://github.com/clojure/core.typed>
CHANGELOG
<https://github.com/clojure/core.typed/blob/master/CHANGELOG.md#0329---7-january-2016>
Thanks,
Ambrose
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 <https://github.com/typedclojure/infer-vars> repository.
README <https://github.com/clojure/core.typed>
CHANGELOG
<https://github.com/clojure/core.typed/blob/master/CHANGELOG.md#0329---7-january-2016>
Thanks,
Ambrose