论文标题
关于用单体分配器构建功能程序
On Structuring Functional Programs with Monoidal Profunctors
论文作者
论文摘要
我们将单型分配器研究为推理和构建纯粹功能程序的工具，既是从分类的角度和Haskell实现）。从分类的角度来看，我们将它们当作某种单体分配器类别中的单素。我们研究该单体类别的属性，并构建和实施自由的单体分解器。我们研究了单体结构与光学的关系，并引入了实施的有希望的概括，我们通过引入有效的单体分配器来说明。
We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain monoidal category of profunctors. We study properties of this monoidal category and construct and implement the free monoidal profunctor. We study the relationship of the monoidal construction to optics, and introduce a promising generalization of the implementation which we illustrate by introducing effectful monoidal profunctors.
