Scroll near the bottom of this page, and you'll see types used for safety — not just performance — and there's contracts too: (http://adambard.com/blog/clojure-

Scroll near the bottom of this page, and you'll see types used for safety — not just performance — and there's contracts too: (http://adambard.com/blog/clojure-batteries-included/ http://adambard.com/blog/clojure-batteries-included/) [Disclaimer: I have never used core.typed.]