Parse, don’t validate

Using the type system to separate concerns

Parse, don’t validatelexi-lambda.github.io