Typed Clojure

Philly ETE 2022 — Panel: Typed vs. Untyped — Richard Feldman, Martin Snyder, Anatoly Polinsky, Yehonathan Sharvit

Abstract Typed languages versus untyped languages: we duke it out in this panel. Apologies for the missed recording, but we hope you enjoy what remains as it was a lively conversation! About Richard Feldman Richard is the creator of the Roc programming language, the host of the Software Unscripted podcast, and the author of Elm … Read More

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