# Article: Your Next DSL Author Is a Language Model

DevFeed: [Article: Your Next DSL Author Is a Language Model](<https://devfeed.tech/articles/article-your-next-dsl-author-is-a-language-model-30907.md>)

Original publisher: [Read original article](<https://www.infoq.com/articles/next-dsl-author-language-model/>)

Author: Irakli Betchvaia

Published: 2026-09-16T11:00:00Z

Content type: article

Language: en

Sources: [InfoQ](<https://devfeed.tech/sources/infoq.md>)

Topics: [Large Language Model](<https://devfeed.tech/topics/llm.md>), [Infrastructure as code](<https://devfeed.tech/topics/infrastructure-as-code.md>), [Retrieval Augmented Generation (RAG)](<https://devfeed.tech/topics/retrieval-augmented-generation-rag.md>), [Code](<https://devfeed.tech/topics/code.md>), [Fable](<https://devfeed.tech/topics/fable.md>)

Tags: [ai](<https://devfeed.tech/tags/ai.md>), [ai-ml-data-engineering](<https://devfeed.tech/tags/ai-ml-data-engineering.md>), [article](<https://devfeed.tech/tags/article.md>), [artificial-intelligence](<https://devfeed.tech/tags/artificial-intelligence.md>), [benchmarks](<https://devfeed.tech/tags/benchmarks.md>), [development](<https://devfeed.tech/tags/development.md>), [domain-specific-languages](<https://devfeed.tech/tags/domain-specific-languages.md>), [dsls](<https://devfeed.tech/tags/dsls.md>), [hallucinations](<https://devfeed.tech/tags/hallucinations.md>), [infrastructure-as-code](<https://devfeed.tech/tags/infrastructure-as-code.md>), [large-language-model](<https://devfeed.tech/tags/large-language-model.md>), [large-language-models](<https://devfeed.tech/tags/large-language-models.md>), [ml-data-engineering](<https://devfeed.tech/tags/ml-data-engineering.md>), [next-dsl-author-language-model](<https://devfeed.tech/tags/next-dsl-author-language-model.md>), [validation](<https://devfeed.tech/tags/validation.md>)

## AI overview

The article introduces Typed Domain Grounding (TDG), which embeds a domain-specific language as a typed internal DSL in a mainstream host language. It argues that compiler type errors and generate-compile-repair loops can reduce syntactic hallucinations in language-model output. A benchmark reported higher Structural Fidelity and lower hallucination rates than two lenient external DSLs, although first-try compile rates were lower and results varied by model.

## Source excerpt

In this article, the author introduces Typed Domain Grounding, an approach to reducing LLM hallucinations in domain-specific languages by embedding them in mainstream typed languages. Using kUML benchmarks and an infrastructure-as-code example, he explores how compiler validation and generate-compile-repair loops can make model-generated DSL output more reliable. By Irakli Betchvaia