Agility & Robustness: Clojure spec

You can program with high agility and end up with a robust, maintainable program. This talk will show you how to use Clojure and the new spec library to write programs that behave as expected, meet operational requirements, and have the flexibility to accommodate change.

With Clojure, you can rapidly develop robust and reusable programs using interactive development at the REPL, immutable data and pure functions, and code as data Clojure's new spec library augments these approaches. Developing with spec is declarative, predicative, layered, robust, and integrated with Clojure.

spec is declarative. As with type systems in static languages, spec lets you make declarative statements that communicate and document data, function arguments, and returns.

spec is predicative. You can declare predicates about data, about function arguments and returns, and even function semantics. This overlaps not only with type systems, but also with validations that are often done with costly bespoke tests and runtime checks.

spec is layered. Spec does not require any specific workflow or program shape, and in particular is compatible with iterative and incremental development.

spec supports robust programs via automatic generative testing. Given specifications, spec can write generative tests for you, generating a volume of tests limited only by your CPU time, not by what you are able to write and maintain by hand.

spec is fully integrated with Clojure. As you develop your program, you have interactive access to spec-driven documentation, validation, destructuring, conformance checking, sample data, testing, and program instrumentation.

You can see all of this in the talk I gave at StrangeLoop 2016:

 Find out how Cognitect can help you get the most out of Clojure, including bringing your team up to speed on tools and practices, and introducing the latest additions to the ecosystem.