Please log in to watch this conference skillscast.
core.typed is a gradual type system for Clojure. With annotations, it can type check normal Clojure code and help document subtle type invariants. This talk is an overview of core.typed, including its influences, rationale, design goals and tradeoffs. Assumes some experience with Clojure, does not assume core.typed experience. Intended to precede the core.typed workshop
YOU MAY ALSO LIKE:
Gradually Typed Clojure: Introduction and Overview of Clojure core.typed
Ambrose has been working on typed Clojure since his honours dissertation: A Practical Optional Type System for Clojure. He subsequently ran a hugely successful Indiegogo campaign which raised over $35,000 to fund further typed Clojure development.