Главная
Study mode:
on
1
Intro
2
What are we doing?
3
Data processing
4
Clojure and data
5
The Clojure Promise
6
Why spec?
7
Why not types?
8
Predicative
9
Structural
10
Generating from collection specs
11
Modeling information
12
Syntax - regex ops
13
Points and lines
14
Conforming
15
Polygons
16
Functional
17
Function specs
18
A function spec
19
Spec with arg constraint
20
Spec with args/ret constraint
21
Enhanced docs
22
Exercising functions
23
Robustness
24
Instrument
25
Generative testing
26
Successful check
27
Failing check
28
spec in Production
29
Spec specs
30
Spec transformation
31
Spec construction
32
Spec testing
Description:
Explore Clojure's spec library in this conference talk from Philly ETE 2017. Dive into the world of expressing data constraints without types, learning how spec enhances Clojure by providing a system for declarative specifications of data and functions. Discover the benefits of using specs for validation, documentation, destructuring, instrumentation, data generation, and automatic generative testing. Understand the flexibility of adding specs iteratively or selectively to your programs, and gain insights into predicative and structural aspects of spec. Learn about modeling information, syntax operations, and working with points, lines, and polygons. Explore function specs, enhanced documentation, and robustness through instrumentation and generative testing. Gain practical knowledge on using spec in production, including spec transformation, construction, and testing techniques.

Clojure Spec: Expressing Data Constraints without Types

ChariotSolutions
Add to list
0:00 / 0:00