Conectando formal e informal: Design de DSL na era dos LLMs

Este artigo explora uma nova direção na interseção de DSLs e LLMs: projetar DSLs que se integram perfeitamente com fluxos de trabalho de codificação baseados em LLM. O autor detalha sua experiência usando LLMs para gerar scripts, descobrindo que os LLMs são excelentes na criação de 'código de colagem' - preenchendo a estrutura básica com base em descrições em linguagem natural, enquanto deixa a lógica complexa para codificação manual. Essa experiência levanta uma questão fundamental: como podemos incorporar esse fluxo de trabalho assistido por LLM nos próprios DSLs? O objetivo final é preencher a lacuna entre código formal e especificações em linguagem natural informal, potencialmente gerando automaticamente especificações em linguagem natural com base na análise de tipo de DSL.