Out today 👇 'Lenses for compsable servers', jww @andre_videla
arxiv.org/abs/2203.15633
We describe how the technology developed for open games can be repurposed to build web servers in a compositional way.
This paper is basically a companion to the Idris2 library André wrote, Recombine: gitlab.com/avidela/recomb…
Although it doesn't strictly follow the 'categorical cybernetics' tao, it's still a very neat approach to correct-by-construction servers
The FP folk has known lenses & optics are a neat abstraction for a long time, here we show parametric lenses deserve attention too. They allow *parametric data access*, such as that of a client requesting resources to a web server.
So in the paper you'll find a 'practical' walkthrough of the abstractions employed in the library (lenses, dependent lenses, parametric dependent lenses), and their use in server development; followed by a walkthrough of Recombine itself.
Enjoy!
@threadreaderapp unroll
Share this Scrolly Tale with your friends.
A Scrolly Tale is a new way to read Twitter threads with a more visually immersive experience.
Discover more beautiful Scrolly Tales like this.