Hybrid Structured Editing: Structures for Tools, Text for Users

TL;DR

Hybrid structured editing enhances programming tools by combining structural guarantees with familiar text editing, enabling safer and more consistent tool integration in programming environments.

Contribution

It introduces hybrid structured editing, allowing tool builders to declare structural constraints and ensuring their enforcement while maintaining user-friendly text editing.

Findings

Supports safe extension of programming environments

Provides structural guarantees for tools

Demonstrated effectiveness through case studies

Abstract

In programming, better tools often yield better results. For that, modern programming environments offer mechanisms to allow for their extensibility. The closer those tools are to the code, the easier it is for programmers to map the information provided by a tool to the code this information is about. However, existing extension mechanisms do not facilitate the close integration of tools with textual source code. Tools must be able to track program structures across edits to appear at the right positions but the parsing step of text complicates tracking structures. We propose hybrid structured editing, an approach that supports tool builders by providing structural guarantees while providing tool users with a familiar and consistent text editing interface. Hybrid structured editing allows tool builders to declare constraints on the structure that a program must conform to and ensures their observance. We present an implementation and several case studies of tools based on hybrid structured editing to demonstrate its effectiveness. Hybrid structured editing supports the safe extension of programming environments with tools that work on a structured representation of code and provide a consistent and reliable user experience.