Philly ETE 2014 #23 – What if Type Checkers Were More Like Linters? – Ambrose Bonnaire-Sergeant
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 … Read More