模态效应类型
一般拓扑
2024-07-17 v1
摘要
效应处理器是定义、定制和组合计算效应的强大抽象。静态确保所有效应操作都已处理需要某种形式的效应系统，但使用传统效应系统需要对这些语言中数百万行现有代码添加大量的效应注释。最近的提案试图通过消除对显式效应多态性的需求来解决这个问题。然而，这些方法通常依赖脆弱的语法机制或引入单独的第二类函数概念。我们提出了一种基于模态效应类型的新方法。
引用
@article{arxiv.2407.11815,
title = {From homogeneity to discrete homogeneity},
author = {Vitalij A. Chatyrko and Alexandre Karassev},
journal= {arXiv preprint arXiv:2407.11815},
year = {2024}
}
备注
arXiv admin note: text overlap with arXiv:2208.00506