Live Online Classes in Design, Coding & AI — Small Classes, Free Retakes
PowerBI Data Analyst - Create visualizations and dashboards from scratch
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
Syllabus
Introduction
What is Servant
Servant Language
Server
Handling errors
Documentation
Client Functions
Taught by
NDC Conferences