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

All

schedule Submitted 3 weeks ago

Public Feedback

comment Suggest improvements to the Speaker