Reproduce “Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Federico Bruzzone, Walter Cazzola, Luca Favalli
Researchers from the Università degli Studi di Milano's ADAPT Lab developed a framework featuring a family of type system DSLs (`Typelang`) and automated generation to significantly streamline Language Server Protocol (LSP) and type system development for language families. Their approach reduced type system implementation code by approximately 83% LoC and 94% NoC, while achieving 100% automation for LSP client plugin generation across multiple editors.
Key insights
- Modularizing type system definitions via a family of DSLs allows for significant reusability and extensibility across language families, moving beyond monolithic implementations.
- Variant-Oriented Programming (VOP) and CACL provide a generic, robust framework for managing complex variant interdependencies in configurable software systems, ensuring strong encapsulation and reduced coupling.
- Directly generating LSP servers from `Typelang` definitions, coupled with automated client plugin generation, drastically reduces the manual effort and complexity of language tooling development.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.