Relier le formel et l'informel : Conception de DSL à l'ère des LLM
Cet article explore une nouvelle direction à l'intersection des DSL et des LLM : concevoir des DSL qui s'intègrent parfaitement aux flux de travail de codage basés sur les LLM. L'auteur détaille son expérience en utilisant les LLM pour générer des scripts, découvrant que les LLM excellent dans la création de « code de liaison » - en remplissant la structure de base en fonction de descriptions en langage naturel, tout en laissant la logique complexe à la codage manuel. Cette expérience soulève une question clé : comment pouvons-nous intégrer ce flux de travail assisté par LLM dans les DSL eux-mêmes ? L'objectif final est de combler le fossé entre le code formel et les spécifications en langage naturel informel, potentiellement en générant automatiquement des spécifications en langage naturel basées sur l'analyse de type de DSL.
Lire plus