Servant - Web APIs at the Type Level

Explore the power of Servant, a Haskell library for implementing web APIs at the type level, in this 24-minute conference talk by Erlend Hamberg at NDC Conferences. Discover how specifying APIs as types leads to a clean separation of HTTP logic and value-level handlers, enabling the type checker to verify endpoint correctness. Learn about Servant's ability to derive Swagger/OpenAPI specifications and generate API client code in various languages. Delve into the implementation of servers with handlers for HTTP endpoints, and understand how Servant achieves a true separation of HTTP and business logic, aligning with REST principles. Gain insights into creating APIs with strong correctness guarantees, automatically generated documentation, and client code that remains consistently accurate and up-to-date.

Introduction
What is Servant
Servant Language
Server
Handling errors
Documentation
Client Functions