Hi!

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