About this talk
This talk, presented by Dr. Miro Spönemann from TypeFox and Andy Gordon from Cogna, delves into the role of domain-specific languages (DSLs) in enhancing AI-assisted development through structured workflows. The session outlines how DSLs replace ambiguous natural language prompts with specifications that lead to more reliable and deterministic outputs, addressing issues of inconsistency and brittleness in software systems. The speakers discuss the “spec-as-source” model, emphasizing its significance in making the specification the primary artefact while enabling AI to generate implementation. A practical example from Cogna illustrates how a DSL captures application logic and user interactions, which helps streamline UI generation and align technical and non-technical stakeholders. Key topics include AI-assisted software engineering, token efficiency, and the advantages of semiformal languages that combine formal structures with natural language flexibility.