Heise, typed domain grounding'i tasarım ilkesi olarak ele alan bir analiz yayımladı: alan-spesifik bir dilin, alanın tiplerini ve kısıtlarını dil modelinin okuyabileceği, denetleyebileceği ve üretebileceği biçimde taşıması gerektiği — dokümantasyonda bir yerlerde duran düz metin sözleşmelerine bel bağlamak yerine.
Gerekçe, LLM destekli geliştirmenin bugün nasıl başarısız olduğunda yatıyor: gevşekçe tanımlanmış bir dile konfigürasyon, sorgu veya kural üretmesi istenen model, bir süre gerçekten parse edilen bir metin döndürür — sonra etmez. İsimler kayar, birimler düşer, hiçbir derleyicinin fark etmediği kısıtlar ihlal edilir. Açık tiplere dayanan bir zemin, iki tarafa da bir sözleşme sunar: model umut yerine makinece denetlenebilir geri bildirim alır, kod tabanı ise çalışma zamanında değil dil sınırında doğrulama kazanır.
Ekipler için pratik bir yan etkisi var: LLM'lere uygun bir dil, neredeyse aradan çıkarak gerçek tip denetleyicisi, hassas hata mesajları ve araç test edilebilen bir dilbilgisi demek.
Argümanın tamamı ve pratikte zeminin nasıl göründüğüne dair örnekler Heise'da.
