core.typed

Discussion and announcements on static type checking in Clojure.

Showing 1-20 of 170 topics
core.typed 0.2.43 - tools.analyzer.jvm Ambrose Bonnaire-Sergeant 4/12/14
Unsoundness with records Ambrose Bonnaire-Sergeant 4/12/14
type annotations across jar boundaries? Allen Rohner 4/7/14
core.typed 0.2.41, lein-typed 0.3.4 Ambrose Bonnaire-Sergeant 4/1/14
Questions from Wiki Page "Low Hanging Fruit" Ian Tegebo 3/28/14
core.typed 0.2.40 Ambrose Bonnaire-Sergeant 3/23/14
Adding type hints to returned IPersistentMap value cristian....@gmail.com 3/23/14
record type annotation used from a different namespace issue svarcheg 3/20/14
core.typed 0.2.37 Ambrose Bonnaire-Sergeant 3/17/14
core.typed 0.2.38 Ambrose Bonnaire-Sergeant 3/17/14
Unresolved instance method invocation cristian....@gmail.com 3/13/14
core.typed 0.2.36, lein-typed 0.3.3 Ambrose Bonnaire-Sergeant 3/11/14
[GSOC2014] proposal for Typed Clojure: Heterogeneous operations & Dotted Polymorphism Di Xu 3/8/14
Request for Mentors for GSoC Projects Ambrose Bonnaire-Sergeant 3/8/14
Q, patch submission process for core.typed Di Xu 3/7/14
Polymorphic function clojure.core/seq could not be applied to arguments Matthew Jones 3/6/14
vim-typedclojure - Fix for errors lacking source file Ambrose Bonnaire-Sergeant 3/6/14
non-nil-return for Java Fields cristian....@gmail.com 3/5/14
Annotating Function that Uses .. Macro Cristian Esquivias 3/2/14
jvm.tools.analyzer documentation? Di Xu 3/2/14
More topics »