Pantograph: A Fluid and Typed Structure Editor

Watch this 19-minute conference talk from POPL 2025 that introduces Pantograph, a novel structure editor that solves the fundamental problem of viscosity in program editing. Learn how the researchers from the University of Maryland at College Park developed a system that maintains valid program structure without sacrificing editing fluidity. Discover their innovative approach using one-hole contexts that properly generalizes text-based selection and editing, allowing users to freely rearrange code while maintaining well-typedness through a category of type diffs. The presentation includes results from a study comparing student programming performance between Pantograph and traditional text editors. Access the full article and supplementary materials through the provided DOI links.