3 недели назад
🦋 Спецификация вместо магии: как языковые модели помогают создавать языки программирования
Большие языковые модели обычно показывают в роли сверхбыстрого помощника: попросил написать функцию — получил код. Но разработчик Стив Клабник предлагает куда более интересный сценарий. При создании языка программирования Rue он использовал модель не просто как генератор исходников, а как соавтора спецификации, испытателя проектных идей и участника проверки всей системы. Этому опыту посвящён доклад, заявленный на октябрьскую конференцию PLSS 2026 в Окленде. Его главный тезис звучит неожиданно здраво:...