Почему наш язык — лучший язык для программирования (ответ на манифест из 70-х)

Недавно на Хабре вышла статья «Почему наш язык — худший язык для программирования» . Автор справедливо отметил проблему двусмысленности естественного языка (ЕЯ) и предупредил, что программирование словами приведет к хаосу. Я начну с неожиданного: автор оригинальной статьи абсолютно прав. Он прав, если мы говорим о программировании заклинаниями (vibe-coding) — популярном сегодня подходе, когда человек пишет в окно чата: «Сделай мне интернет-магазин с красивым дизайном», а потом тонет в неконтролируемой лапше сгенерированного кода. В формате свободной болтовни с ботом естественный язык для написания кода действительно ужасен. Но естественный язык можно использовать по-другому. Можно не просто болтать с ChatGPT — это ошибочный метод программирования на естественном языке. Его надо использовать как основу для строгих декларативных спецификаций. Инструменты вроде CodeSpeak (публичная альфа-версия от создателя Kotlin Андрея Бреслава, о которой я подробно писал в своей статье ) уже сегодня демонстрируют свой огромный потенциал: если загнать естественный язык в рамки контрактов, он способен стать лучшим, самым высоким из доступных нам уровней абстракции. Читать далее — будущее разработки:

https://habr.com/ru/articles/1011618/

#LLM #ИИ_в_разработке #Программирование #Архитектура_ПО #CodeSpeak #Разработка_ПО #Генеративный_ИИ #Спецификации #Будущее_программирования #Инженерия