关于使用幺半范函对功能程序进行结构化
摘要：用范畴论的角度，研究单调偏态的方法作为推理和构建纯函数式程序的工具，同时作为Haskell实现。从范畴论的角度，我们将它们视为一类偏审函子范畴中的幺半群。我们研究了该幺半群的性质，并构建并实现了自由的幺半单调偏态。我们研究了幺半构造与光学的关系，并引入了一种有前景的实现的广义化，通过引入具有影响的幺半单调偏态来说明。
作者：Alexandre Garcia de Oliveira (Universidade de S~ao Paulo), Mauro Jaskelioff (CIFASIS-CONICET), Ana Cristina Vieira de Melo (Universidade de S~ao Paulo)
论文ID：2207.00852
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-07-05