Join Newsletter

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

Ambrose Bonnaire-sergeant


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.