Discussion and announcements on static type checking in Clojure.

Showing 1-20 of 345 topics
untyped-vars and form checking (clojure.core.typed/cf) Jeroen van Dijk 11/26/15
cljc reader conditional troubles Kaylen Wheeler 11/22/15
core.typed 0.3.17 - Fix dependency bug (disables AOT), new internal contract system Ambrose Bonnaire-Sergeant 11/11/15
core.typed 0.3.15 - Dependency changes + bug fix Ambrose Bonnaire-Sergeant 11/11/15
Annotating keyword parameters Kaylen Wheeler 10/30/15
Cannot resolve alias name Kaylen Wheeler 10/28/15
core.typed 0.3.{13-14} - New #lang feature, contract generation for imports Ambrose Bonnaire-Sergeant 10/26/15
using annotated select-keys, merge etc. George Frivolt 10/26/15
Strange behavior with a mapping-function 10/22/15
core.typed 0.3.12 - cljc support Ambrose Bonnaire-Sergeant 10/19/15
How does gradual typing solve the "annotate the world" problem? Chris Cornelison 10/8/15
Any response to the concerns raised in "Why we’re no longer using Core.typed"? Jakub Holý 10/7/15
Proxying final classes should be possible after all Jakub Holý 10/6/15
Won't gradual typing require integration with the Clojure compiler? Chris Cornelison 10/6/15
Annotating existing libraries with old Clojure versions Chris Cornelison 9/23/15
Usage with clojurescript Taylor Sando 9/19/15
Library with annotations for Chris Cornelison 9/19/15
Low hanging fruit screencasts Chris Cornelison 9/18/15
first on HVec Mark Feeney 9/15/15
Bad call to path-type: nil Mark Feeney 9/15/15
More topics »