Typed Clojure in Practice
summary
An optional type system called Typed Clojure claims to catch real bugs and document code and is implemented as core.typed with features like occurrence typing, hmap keyword-map types, multimethod and polymorphic support, Java interop and variable-arity types. Tooling includes a Vim plugin, Cursive integration and cross-clj harvesting. A crowdfund brings 545 funders and $35,000; CircleCI reports ~50k LOC with ~10k annotated and ~5k checked. It runs in production with about a 10% annotation overhead and some unchecked idioms.
AI-written summary · about
chapters (5)
related talks
41mTyped Clojure
33mTyped Clojure: From Optional to Gradual Typing
50mTyping a LISP
46mSpectrum, a library for statically "typing" clojure.spec
21mType dependence
01h 03mKeynote: Precision in Type System Design
28mPractical Confidence: Using Types to Help Your Computer Help You
15mTaming Type Annotations in Gradual Typing