arXiv 2510.07582
Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
By Yuyan Bao and Tiark Rompf
Published 2025-10-08
Citation lineage
Review the prior work and downstream research connected to this paper.
Programming benefits from a clear separation between pure, mathematical computation and impure, effectful interaction with the world. Existing approaches to enforce this separation include monads, type-and-effect systems, and capability systems. All share a tension between precision and usability, and each one has non-obvious strengths and weaknesses. This paper aims to raise the bar in assessing such systems. First…