Heise veröffentlicht einen Hintergrundartikel, der Typed Domain Grounding als Gestaltungsprinzip vorstellt: die Idee, dass eine domänenspezifische Sprache die Typen und Restriktionen ihrer Domäne so mitführen soll, dass ein Sprachmodell sie lesen, prüfen und generieren kann — statt sich auf Prosa-Konventionen zu verlassen, die irgendwo in der Dokumentation stehen.
Der Anlass liegt in der Art, wie LLM-gestütztes Entwickeln heute scheitert: Wer ein Modell bittet, Konfiguration, Abfragen oder Regeln in einer schwach spezifizierten Sprache zu erzeugen, bekommt Text, der parse-t, bis er es nicht mehr tut — Namen driften, Einheiten fehlen, Restriktionen werden verletzt, ohne dass ein Compiler es bemerkt. Grounding in expliziten Typen liefert beiden Seiten einen Vertrag: Das Modell erhält maschinenprüfbares Feedback statt Hoffnung, der Codebase Validierung an der Sprachgrenze statt erst zur Laufzeit.
Für Teams, die interne DSLs entwerfen, hat das Prinzip einen praktischen Nebeneffekt: Eine LLM-taugliche Sprache ist fast nebenbei eine Sprache mit echtem Type-Checker, präzisen Fehlermeldungen und einer Grammatik, gegen die sich Werkzeuge testen lassen.
Das vollständige Argument mit ausgearbeiteten Beispielen dafür, wie Grounding in der Praxis aussieht, steht bei Heise.
