形式と非形式の橋渡し：LLM時代のDSL設計

この記事では、DSLとLLMの交差点における新しい方向性を探求しています。それは、LLMベースのコーディングワークフローとシームレスに統合するDSLを設計することです。著者は、LLMを使ってスクリプトを生成した経験を詳細に説明し、LLMが「つなぎコード」の生成に優れていることを発見しました。つまり、自然言語の説明に基づいてボイラープレートコードを生成しますが、複雑なロジックは手動でコーディングする必要があります。この経験から、LLM支援ワークフローをDSL自体にどのように組み込むことができるかという重要な疑問が提起されます。最終的な目標は、形式的なコードと非形式的な自然言語仕様のギャップを埋めることであり、DSLの型解析に基づいて自然言語仕様を自動生成することが考えられます。