Discussion and announcements on static type checking in Clojure.

Showing 1-19 of 322 topics
java.lang.ExceptionInInitializerError on lein typed check George Frivolt 9:03 AM
Using polymorphic records Brendan Tobolaski 8/27/15
Annotating Ring handlers, middleware Mark Feeney 8/25/15
2 odd cases - no-check and ann-record in a macro Steven Benjamin 8/17/15
core.typed 0.3.11 Ambrose Bonnaire-Sergeant 8/13/15
Getting core.typed to load .cljc files Aaron Craelius 8/7/15
Expressing hierarchy in function arguments Steven Benjamin 8/7/15
core.typed 0.3.10 - Resolve Java interop w/ types Ambrose Bonnaire-Sergeant 8/6/15
Typechecking failure with HMaps, All & Any Josh Tilles 8/6/15
#{:α :ann} Adding type annotations to java.jdbc and Korma Josh Tilles 8/4/15
Error when checking types "First argument to TApp must be TFn, actual: Fn" Brendan Tobolaski 8/3/15
Typing manifold.deferred.Deferred Atamert Ölçgen 7/31/15
State of core.typed / Schema integration 7/31/15
Occurrence typing and Recursive Types 7/31/15
A possible bug involving maps & `extend-protocol` Josh Tilles 7/30/15
What about a contrib library? Josh Tilles 7/29/15
Getting Seqable from java collections Mark Feeney 7/27/15
type hint regression Mark Feeney 7/27/15
core.typed 0.3.9 Ambrose Bonnaire-Sergeant 7/24/15
More topics »