Проектирование языков в эпоху LLM

Исследование дизайна языков программирования показывает, что в условиях широкого использования LLM (больших языковых моделей) возникает риск утраты интереса к проектированию специализированных языков.

Сравниваются подходы: создание DSL для уменьшения объема шаблонного кода и использование LLM для генерации необходимого кода в широко распространенных языках, таких как Python.

Разработаны три стратегии взаимодействия DSL и LLM: обучение LLM работать с DSL через Python, создание DSL, которые могут взаимодействовать с неформальными текстами, и проектирование спецификационных языков для проверки кода, сгенерированного LLM.

Возникает опасение, что проектирование языков может стагнировать из-за растущей популярности Python и неспособности LLM работать с нишевыми языками, что может привести к уменьшению разнообразия в разработке DSL.