Fascinating unification of QuickCheck-style generative testing, destructuring, and contracts: clojure.org/about/spec.
Conversation
Replying to
Yeah, I’m into this. Reminded me a bit of “regular types” in (Ciao?) Prolog, but with a real nice helpful API.
1
1
… and documentation, and greatly improved error messages for macros.