Clojure spec

Abstract

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
• 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.

Related Content

• 2016 StrangeLoop video
• 2016 JavaOne slides
• spec Overview and Rationale
• detailed guide to using spec
• this talk builds on the ideas presented by Rich Hickey in Clojure Made Simple at JavaOne in 2015