Gradually Typed Clojure: Introduction and Overview of Clojure core.typed

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


Target Audience


schedule Submitted 1 year ago