Open Collective logo
Open Collective
typed.clj/spec - A metalanguage for specs
Published on April 1, 2020 by Ambrose Bonnaire-Sergeant


Really excited to announce a new Typed Clojure library: typed.clj/spec!

It adds polymorphism and type-level functions to Clojure spec. You can now write precise specs for higher-order functions like map, comp, and transducers, and generatively test them.

Check out the Quickstart, Tutorial, and the Examples. Or even the Rationale, if that's your thing... :)