Overview
Explore the power of Clojure and its new spec library in this 40-minute conference talk from Strange Loop. Discover how to develop programs with high agility while maintaining robustness and maintainability. Learn to leverage Clojure's features such as interactive REPL development, immutable data, and pure functions, enhanced by the declarative, predicative, and layered approach of spec. Understand how spec enables automatic generative testing, provides integrated documentation, validation, and program instrumentation. Gain insights into writing flexible, robust code that meets operational requirements and accommodates change. Delve into topics including structural predicates, boolean logic, function semantics, validation, conformance, and generative testing. Benefit from Stuart Halloway's expertise as a Clojure committer and Cognitect founder in this comprehensive exploration of Clojure spec's capabilities for creating reliable and adaptable software.
Syllabus
Intro
My Daily Concerns
Clojure Power
Systemic Generality
Pretty Good!
spec Answers the Challenge
spec Power
Correct / Agile / Robust
Declaration
Structural Predicates
Arbitrary Predicates
Collections
Boolean Logic
Named Specs
spec Syntax with Regexes
defn Syntax
Maps as Information
Functions
Function Semantics
Validation
Explanation
Conformance
Example Data
Example Fn Invocations
Robustness
Instrumentation
Generative Testing
Assertion
Experience Report
Taught by
Strange Loop Conference