Formal und informell verbinden: DSL-Design im Zeitalter von LLMs

Dieser Beitrag untersucht eine neue Richtung an der Schnittstelle von DSLs und LLMs: die Entwicklung von DSLs, die sich nahtlos in LLM-basierte Codierungs-Workflows integrieren. Der Autor beschreibt seine Erfahrungen mit der Verwendung von LLMs zum Generieren von Skripten und stellt fest, dass LLMs hervorragend darin sind, „Klebecode“ zu erstellen – das Ausfüllen der Grundstruktur basierend auf Beschreibungen in natürlicher Sprache, während die komplexe Logik manuell codiert wird. Diese Erfahrung wirft eine Schlüsselfrage auf: Wie können wir diesen LLM-unterstützten Workflow in DSLs selbst integrieren? Das letztendliche Ziel besteht darin, die Lücke zwischen formalem Code und informellen Spezifikationen in natürlicher Sprache zu schließen, möglicherweise durch die automatische Generierung von Spezifikationen in natürlicher Sprache basierend auf der Typanalyse von DSLs.