Der Artikel präsentiert Typed Domain Grounding (TDG) als ein neues Designprinzip, das typsichere Domain-Specific Languages (DSLs) in etablierten Programmiersprachen nutzt. Dies soll die Zuverlässigkeit von Sprachmodellen erhöhen, indem der Compiler als Qualitätsprüfer fungiert und so Halluzinationen von LLMs reduziert werden.
TDG unterscheidet sich von anderen Ansätzen wie RAG und Grammar Prompting und wird anhand eines Beispiels außerhalb der UML-Modellierung getestet. Die Herausforderung besteht darin, dass neu erfundene Sprachen oft nicht ausreichend in Trainingsmaterialien vertreten sind, was ihre Verwendbarkeit einschränkt.