core.typed

An optional type system for Clojure

• URL:

  https://github.com/clojure/core.typed

  Lead:

  Ambrose Bonnaire-Sergeant

  Key:

  CTYP

• CTYP-223 2015-05-31T10-47 2017-12-03T18-24 checking clojure.core/keep produces Internal Error--Cannot resolve type: Option
• CTYP-231 2015-06-23T08-03 2017-12-03T18-03 (Array X) is broken and undocumented
• CTYP-241 2015-06-26T08-54 2017-12-03T18-04 Let-aliased variables of plain Map lookups should update original map

• CTYP-209 2015-04-08T22-56 10/Jul/18 method-type is broken
• CTYP-134 2014-04-14T06-39 10/Jul/18 Allow namespace aliases in `ann`
• CTYP-133 2014-04-13T05-27 10/Jul/18 Typechecker fails when checking involves an object from reify

• Backlog