Gradually Typed Clojure: Introduction and Overview of Clojure core.typed
YOW! Lambda Jam 2013
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
University of Western Australia
Ambrose Bonnaire-Sergeant is a student at the University of Western Australia. He is studying Bachelor of Computer Science, with the creation and study of Typed Clojure the subject of his Honours dissertation.