Discussion and announcements on static type checking in Clojure.

Showing 1-20 of 367 topics
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
Combining HMap with another map type Kaylen Wheeler 3/7/16
Compile-time predicates and keyword hierarchies in core.typed Kaylen Wheeler 3/6/16
core.typed 0.3.22 - Implicit type checking via `eval` Ambrose Bonnaire-Sergeant 1/31/16
TypedClojure examples in comparison to Scala and Java Piotr Jarzemski 1/31/16
More topics »