Bridging Formal and Informal: DSL Design in the Age of LLMs
2025-06-17
This post explores a novel direction at the intersection of DSLs and LLMs: designing DSLs that integrate seamlessly with LLM-based coding workflows. The author details their experience using LLMs to generate scripts, finding that LLMs excel at creating 'glue code' – filling in the boilerplate based on natural language descriptions, while leaving the complex logic to manual coding. This experience prompts a key question: how can we incorporate this LLM-assisted workflow into DSLs themselves? The ultimate goal is to bridge the gap between formal code and informal natural language specifications, potentially by automatically generating natural language specs based on DSL type analysis.
Read more
Development