Бэкус, Джон

В 1950 году Джон Бэкус был нанят в IBM, где проработал до 1991 года^[3]. Вскоре он возглавил группу, разрабатывавшую интерпретатор Speedcoding для компьютера IBM 701, а позже принял участие в создании усовершенствованного варианта этой машины, модели IBM 704. В 1953 году предложил создать для компьютера IBM 704 язык, позволяющий записывать команды почти в обычной алгебраической форме, и компилятор для него. Данное предложение быстро нашло поддержку, так как в фирме искали пути, обеспечивающие увеличение сбыта своих компьютеров, и потому стремились сделать их более привлекательными, «дружественными» пользователю. Разработка языка Фортран велась с 1954 по 1957 год^[4]. В команду разработчиков под руководством Бэкуса входили такие ключевые участники, как Ирвинг Зиллер, Харлан Херрик, Шелдон Бест, Питер Шеридан, Рой Натт, Роберт Нельсон, Лоис Хейбт, Дэвид Сэйр и Ричард Голдберг^[5]. Созданный ими Фортран всеобще признаётся первым в истории языком программирования высокого уровня.

Впоследствии принимал активное участие в развитии Фортрана, участвовал в комитете по созданию Алгола. В процессе подготовки отчёта об Алголе разработал специальную систему определений, формально описывающую синтаксис языка программирования, которую представил на конференции ЮНЕСКО в Париже в 1959 году. Вскоре этот способ записи назвали нормальной формой Бэкуса; позже Петер Наур внёс уточнения в нотацию, и форму стали называть формой Бэкуса — Наура (при этом сокращение осталось прежним — БНФ)^[6].

БНФ была разработана для описания синтаксиса языка IAL (позже известного как ALGOL 58) и стала универсальным стандартом для определения синтаксиса языков программирования и форматов данных^[7].

В 1977 году за труды по созданию Фортрана и вклад по формализации специфицирования языков программирования награждён премией Тьюринга. Тьюринговскую лекцию «Можно ли освободить программирование от стиля фон-Неймана?» посвятил комбинаторному программированию и представил в ней язык FP, во многом впитавший идеи из APL Айверсона и оказавший влияние на такие языки 1980-х годов, как Haskell и J.

В этой лекции Бэкус подверг критике традиционные языки программирования, отметив их тесную связь с архитектурой фон Неймана. Он ввёл понятие «бутылочного горлышка фон Неймана», указывая, что такая архитектура вынуждает использовать пословный стиль вычислений, а центральным элементом языков становится оператор присваивания. В качестве альтернативы учёный предложил функциональный стиль (англ. Function-level programming), позволяющий создавать программы без использования переменных и операторов присваивания^[8]. Представленная им система FP опиралась на «алгебру программ» и использование комбинирующих форм для построения сложных функций из базовых примитивов^[9].

Во второй половине 1980-х годов совместно с коллегами из Алмаденского исследовательского центра IBM разработал язык FL, развивающий идеи комбинаторного программирования, заложенные в FP.