用于可组合服务器的透镜

我们利用参数化透镜（parameterised lenses）实现了服务器操作的语义。它们允许我们定义端点并利用经典透镜组合对其扩展。透镜的参数化特性对状态更新建模，而透镜法则模仿了HTTP所期望的性质。这一服务器开发的初步方法被扩展为使用依赖参数化透镜（dependent parameterised lenses）。这是对不仅建模端点、而且建模整个服务器所必需的一次升级，从而解锁了将它们组合在一起的能力。