Optics for servers
Автор: Identity GS
Загружено: 2021-07-01
Просмотров: 867
A presentation about a server library in Idris leveraging first-class types and lenses in order to declare, implement and extend APIs and their implementation.
Web servers are extremely common and a large amount of businesses rely on deploying, implementing and updating web servers. Using dependent types and noting that webservers expose APIs that share property with lenses, we can write a library in idris that allows to implement servers with very few lines of code.
00:00 introduction
00:47 what is a server
05:45 Server in NodeJS
09:24 APIs with Swagger
12:35 Server and API with Servant
16:29 Problems with Servant
19:33 What are lenses
22:18 Servers as lenses
29:43 Demo of the library
46:16 Things left to do
51:37 Future work
gitlab project: https://gitlab.com/avidela/idris-server
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
