Domänenspezifische Sprachen (DSL) entwirft man für menschliche Leser – geschrieben werden sie zunehmend von einem LLM. Der neue Autor lernt Syntax nicht aus Handbüchern, sondern aus Milliarden Trainingsbeispielen. Für eine frisch erfundene Sprache allerdings fehlen diese: Das Modell halluziniert. Typed Domain Grounding antwortet radikal: Keine neue Sprache bauen, sondern die Domäne als typsichere ..