论文标题
合并服务器的镜头
Lenses for Composable Servers
论文作者
论文摘要
我们使用参数化镜头实施服务器操作的语义。它们使我们能够定义终点并使用经典的镜头组成扩展它们。镜头的参数性质模型状态更新，而镜头法律则模仿了HTTP的属性。 服务器开发的第一种方法扩展到使用依赖的参数化镜头。不仅要建模端点所需的升级，而且要建模整个服务器，从而解锁将它们组合在一起的能力。
We implement the semantics of server operations using parameterised lenses. They allow us to define endpoints and extend them using classical lens composition. The parameterised nature of lenses models state updates while the lens laws mimic properties expected from HTTP. This first approach to server development is extended to use dependent parameterised lenses. An upgrade necessary to model not only endpoints, but entire servers, unlocking the ability to compose them together.
