Рост популярности больших языковых моделей породил тезис: раз ИИ понимает обычные фразы, естественный язык может полностью заменить формальные языки, в первую очередь языки программирования, при разработке софта и других артефактов. Авторы новой позиционной статьи с этим тезисом спорят: по их мнению, он игнорирует фундаментальное свойство естественного языка, тот изначально «заточен» под недосказанность (underspecification) в открытых, неформальных контекстах, а не под точную и полную спецификацию...

Языки программирования. Язык программирования – это формальный язык или знаковая система, предназначенные для записи компьютерных программ. Как и в нашем языке здесь имеется лексика – слова, функции и операторы, из которых по правилам синтаксиса составляются выражения. Они имеют четкий и определенный смысл, понятный компьютеру - семантику. Самый первый высокоуровневый язык программирования был создан в период с 1943 по 1945 годы немецким инженером К. Цузе, и назывался Plankalkül - «запланированные вычисления». С того времени было придумано более 8 тысяч языков программирования (включая эзотерические, визуальные)...