Improving on Types: Specing a Java Library with Clojureblog.cognitect.com5 pointspuredanger9 years ago