Philly ETE 2014 #23 – What if Type Checkers Were More Like Linters? – Ambrose Bonnaire-Sergeant

Tags: , , , , , ,

From the abstract: Typed Clojure is a gradual type system for Clojure and ClojureScript. In practice, type checking resembles “linting”: it is separate from compilation and must be called explicitly.

This has some interesting implications.

Instead of porting your old code to a “typed” variant of your language, you can gradually add type annotations and run the type checking function when needed; the checker will never stop your code from compiling normally.