Servant: Defining web APIs at the type level

Servant is a type-level domain-specific language for describing web APIs and a set of Haskell libraries for interpreting those API descriptions. They can then be used to implement API servers, documentation, Haskell clients and even client functions in other languages with ease.

All of this is done using minimal boilerplate, while enforcing strong guarantees about your API.

We'll talk about how Servant works, how to use it, and a little about the underlying design.

🍕 BEKK will sponsor food, so come early and grab some pizza before the talk.

🎬 KnowIT have sponsored recording of the talk, so a video will be made available after the meetup.