ICFP 2021
Sun 22 - Sat 28 August 2021
Mon 23 Aug 2021 00:30 - 01:00 at TyDe - Session II Chair(s): Dominic Orchard

A considerable amount of engineering effort is continuously deployed to implement and manage servers, and not enough research has been done to improve the experience of creating and maintaining servers. Traditionally, they are implemented by parsing a request and performing the action that corresponds to the functionality advertised by the documentation. We make progress in this area by providing a new \emph{purely declarative} library for servers that avoids errors associated with the tight coupling that emerges from imperative solutions. We use Idris2, dependent types, and lenses to achieve this goal and demonstrate how to implement and extend server APIs with as little code as possible.

Optics for generic declarative server APIs (optics for servers.pdf)322KiB

Sun 22 Aug

Displayed time zone: Seoul change