From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers

Explore a 19-minute video presentation from OOPSLA2 2023 conference that delves into a novel approach for efficient compilation of lexical effect handlers. Learn about a method to infer lifting information for a calculus underlying a source-level language, using second-class capabilities for safe effect usage. Discover how this approach bridges the gap between high-level effect handler abstractions and efficient runtime implementation. Understand the relation between second-class properties and region structures, and see how this technique enables a more efficient compiler pipeline. Examine the results of benchmarks demonstrating the effectiveness of this approach in practice.