"Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant

Ambrose Bonnaire-Sergeant presents extensions to Typed Clojure that transition it from an optional to a gradual typing system.

Optional type systems enable type checking for otherwise untyped languages, but what happens when you need to interact with untyped libraries? In most systems, the user provides an unchecked annotation which the type system assumes correct. An incorrect annotation then compromises all guarantees of the type system. Gradual typing addresses this by inserting dynamic checks that protect the static invariants of typed code. In this talk we present extensions to Typed Clojure promoting it from an Optional to a Gradual typing system. Ambrose Bonnaire-Sergeant INDIANA UNIVERSITY BLOOMINGTON @ambrosebs Ambrose is a Computer Science PhD student at Indiana University Bloomington, working on gradual typing and Typed Clojure.