Hacker News
- Are unsound type systems wrong? http://frenchy64.github.io/2018/04/07/unsoundness-in-untyped-types.html 158 comments
- Gradual typing for Clojure http://frenchy64.github.io/2015/06/19/gradual-typing.html 11 comments
- The Link between Clojure-in-Clojure and Typed Clojure http://frenchy64.github.io/2013/09/30/link-cinc-typed-clojure.html 5 comments
Lobsters
- The Road to Typed Clojure 1.0: Part 1 https://frenchy64.github.io/2018/09/20/towards-typed-clj.html 25 comments clojure , plt
- Are unsound type systems wrong? http://frenchy64.github.io/2018/04/07/unsoundness-in-untyped-types.html 4 comments clojure , plt
- Practical Optional Types for Clojure http://frenchy64.github.io/papers/esop16-short.pdf 2 comments lisp , pdf