Ambrose has been working on typed Clojure since his honours dissertation: A Practical Optional Type System for Clojure. He subsequently ran a hugely successful Indiegogo campaign which raised over $35,000 to fund further typed Clojure development.
Talks I've Given
-
Core.typed: gradual typing in Clojure, as a library.
Featuring Ambrose Bonnaire-Sergeant
Would you like to find out more about the benefits of Static typing? Ambrose Bonnaire-Sergeant will be running through static typing, its uses and its benefits, perfect for adding it to Clojure.
clojure static-typing idioms -
Gradually Typed Clojure: Introduction and Overview of Clojure core.typed
Featuring Ambrose Bonnaire-Sergeant
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...
practice