An optional type system for Clojure

Issues: Due

  • Defect CTYP-83 check-ns takes exponentially longer on each invocation
  • Defect CTYP-108 core.typed runs forever
  • Defect CTYP-159 "swap!" doesn't work anymore due to missing type translation

Issues: 30 Day Summary

Issues: 9 created and 3 resolved

Issues: Updated recently

  • Defect CTYP-173 Last Saturday 3:13 AM (first (filter ...)) type checks in Clojure, not ClojureScript
  • Defect CTYP-172 Last Monday 5:53 PM annotating methods that descructure their arguments can confuse the type system
  • Defect CTYP-171 22/Aug/14 nil should not be treated as subtype of repeat list/vector

Versions: Due

Activity Stream