core.typed

Discussion and announcements on static type checking in Clojure.

Showing 1-20 of 371 topics
core.typed 0.3.32 - core library annotations Ambrose Bonnaire-Sergeant 1/16/17
[ANN] core.typed 0.3.31 - "paired" rest arguments like hash-map/assoc Ambrose Bonnaire-Sergeant 1/15/17
[ANN] core.typed 0.3.30 - Remove "collection phase" Ambrose Bonnaire-Sergeant 1/11/17
[ANN] core.typed 0.3.29 Ambrose Bonnaire-Sergeant 1/8/17
State of core.typed? Didier 11/5/16
ClassCastException using spec-infer Emlyn Corrin 9/7/16
[ANN] Automatic specs + core.typed release Ambrose Bonnaire-Sergeant 8/31/16
[ANN] Automatic Clojure Type Annotations Ambrose Bonnaire-Sergeant 8/18/16
Updating the Clojurescript Checker Vincent Heuken 8/8/16
check-ns fails with StackOverflowError webber 6/14/16
type check error (higher order unification?) Tao Yang 6/7/16
DEPRECATED SYNTAX for Fn webber 5/23/16
clojure.core.typed/cf fails webber 5/23/16
core.typed 0.3.23 - Bug fix Ambrose Bonnaire-Sergeant 4/15/16
subtyping optional keywords in HMaps claire alvis 4/13/16
Difference plans Leon Grapenthin 4/12/16
"Assume type" operation, transducers Leon Grapenthin 4/12/16
Extensible Enums Kaylen Wheeler 3/10/16
Explanation of Type Functions Kaylen Wheeler 3/9/16
Reflection and meta-types Kaylen Wheeler 3/8/16
More topics »