-
Notifications
You must be signed in to change notification settings - Fork 4
Home
Joseph Abrahamson edited this page Feb 11, 2016
·
2 revisions
Welcome to the Serv wiki!
Serv is a tool for writing HTTP API servers which leverages modern type technology to ensure statically that your API, your API server, your documentation, your clients, etc are 100% in alignment.
To do this you first specify your API as a type and then use highly generic dependently typed functions to construct your server, client, documentation. These functions cannot result in non-compliant servers, clients, and documentation. Furthermore, they leverage information from your API-type to do a lot of work for you completely automatically.