Tiark Rompf

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness

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 precis...