Джон Бэкус возглавлял команду IBM, разработавшую Fortran — первый широко используемый язык программирования высокого уровня, который изменил то, как люди взаимодействовали с ранними компьютерами. Родившись в Филадельфии в 1924 году, он проработал в IBM более четырех десятилетий, оказав влияние как на практическое применение кода, так и на формальные математические структуры, определяющие современный синтаксис программирования.
Военная служба и раннее образование
До прихода в IBM Бэкус прошел неровный академический путь. Он учился в школе Хилл, а затем в Виргинском университете, откуда был отчислен из-за плохой посещаемости. Во время Второй мировой войны он служил в армии США, командуя зенитной батареей. Результаты тестов на профпригодность привели его к изучению инженерного дела в Питтсбургском университете и подготовительной медицинской программе в Хаверфордском колледже. Бросив медицинский факультет и перенеся операцию по замене костной пластины черепа, он был уволен со службы в 1946 году.
Fortran и инновации в IBM
Бэкус присоединился к IBM в 1950 году после получения степени бакалавра и магистра математики в Колумбийском университете. Его ранняя работа включала расчет положений Луны для Selective Sequence Electronic Calculator. К 1953 году он разработал Speedcoding, предшественник своего самого значительного достижения — Fortran. Внедренный для облегчения разработки программного обеспечения на IBM 704, Fortran позволил обойти необходимость глубокого знания архитектуры машины, установив стандарт высокого уровня, который позволил ученым использовать компьютеры как практические инструменты.
Формальная нотация и алгоритмические стандарты
После работы над Fortran Бэкус внес вклад в разработку ALGOL 58 и ALGOL 60. Чтобы разрешить сложности в определении синтаксиса этих языков, он создал форму Бэкуса-Наура (BNF). Эта нотация предоставила последовательный, формальный метод описания контекстно-свободных грамматик, став стандартной функцией в разработке компиляторов. Его работа по определению этих формальных процедур стала основным обоснованием для получения премии Тьюринга ACM в 1977 году.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Исследования на уровне функций
Позже в своей карьере Бэкус сосредоточился на парадигме функционального программирования. Он представил язык FP, который подробно описал в своей лекции на вручении премии Тьюринга в 1977 году, критикуя традиционный стиль программирования фон Неймана. Его последний проект, FL, был направлен на дальнейшее развитие этих концепций внутри IBM. Хотя эти языки имели ограниченное внедрение по сравнению с Fortran, они повлияли на текущие исследования в области функционального программирования и проектирование последующих языков, таких как J.
Краткие факты
- Рождение: 1924, Филадельфия - Смерть: 2007, Ашленд - Образование: Виргинский университет, Колумбийский университет - Ключевое изобретение: Fortran - Формализм: Форма Бэкуса-Наура (BNF) - Работа в IBM: 1950–1991 - Главная награда: Премия Тьюринга ACM (1977) - Место последнего упокоения: Колумбарий Сан-Франциско
Вопросы читателей
### В чем заключалась важность формы Бэкуса-Наура?
Она предоставила формальную нотацию для определения синтаксиса языков программирования, став мировым стандартом для публикации алгоритмов.
### Создавал ли Джон Бэкус другие языки после Fortran?
Да, в конце своей карьеры он разработал языки программирования на уровне функций, включая FP и его преемника FL.
