One of the first functional data structures I reach for when writing
code that interacts with a person or another system is
Validation
. It allows me to accumulate, parse, transform,
and verify input in a type-safe and parallelizable operation.
In this talk, we look at Validation
: how to use it, why
it works, and where in category theory it comes from. We'll see how to
use the implementations provided by Scalaz and Cats, as well as how to
roll our own from scratch.