范畴分级代数理论与效应处理器
摘要：基于基于类别分级的代数理论扩展，我们提供了一个名为CatEff的效果系统。CatEff具有类别分级的操作和处理器。 CatEff中的效果由分级类别的态射进行分级。分级态射表示效果的细微结构，如依赖关系或状态的类型。 在CatEff中，处理器被视为类别分级效果的实现。我们定义了类别分级代数理论的概念，以给出CatEff的语义，并证明了其合理性和适用性。我们还通过使用类别分级效果来表达发送和接收带类型数据的协议的示例来说明。
作者：Takahiro Sanada
论文ID：2212.07015
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-06-22