typed.clj/spec - A metalanguage for specs

Hi Patrons!

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... :)

Enjoy,

Ambrose

By becoming a patron, you'll instantly unlock access to 6 exclusive posts
7
Images
By becoming a patron, you'll instantly unlock access to 6 exclusive posts
7
Images