Введение
Американский ученый-компьютерщик Джон Уорнер Бэкус (3 декабря 1924 года – 17 марта 2007 года) – американский ученый-компьютерщик. Он возглавил команду, которая изобрела и внедрила FORTRAN, первый широко используемый язык программирования высокого уровня, и был изобретателем формы Бэкуса — Наура (BNF), широко используемой нотации для определения синтаксиса формальных языков. Позже он исследовал парадигму функционального программирования, представив свои выводы в своей влиятельной лекции, с которой он выступил при получении премии Тьюринга в 1977 году: «Можно ли освободить программирование от стиля фон Неймана?». Институт инженеров электротехники и электроники (IEEE) присудил Бэкусу награду имени W. W. Макдауэлла в 1967 году за разработку FORTRAN. Он получил Национальную медаль науки в 1975 году и премию Тьюринга в 1977 году «за глубокий, влиятельный и долгосрочный вклад в разработку практических систем программирования высокого уровня, особенно благодаря его работе над FORTRAN, и за публикацию формальных процедур для спецификации языков программирования». Джон Бэкус вышел на пенсию в 1991 году. Он умер у себя дома в Эшленде, штат Орегон, 17 марта 2007 года. Он учился в школе The Hill в Поттстауне, штат Пенсильвания, но, по-видимому, не был прилежным учеником. Он поступил в Университет Вирджинии, чтобы изучать химию, но испытывал трудности с учебой и был исключен менее чем через год за плохую посещаемость. Впоследствии он был призван в армию США во время Второй мировой войны. Во время стажировки в больнице у него диагностировали опухоль черепной кости, которую успешно удалили, и в его голову имплантировали пластину. Затем он поступил в Медицинскую школу Флоэр и Пятой авеню, но она показалась ему неинтересной, и он бросил ее через девять месяцев, получив в 1946 году медицинское увольнение из армии США и поступив в IBM в 1950 году. В течение первых трех лет он работал над выборочным последовательным электронным калькулятором (SSEC); его первым крупным проектом было написание программы для расчета положений Луны. В 1953 году Бэкус разработал язык Speedcoding – первый язык программирования высокого уровня, созданный для компьютера IBM, для облегчения разработки программного обеспечения для компьютера IBM 701. В то время программирование было очень сложным, и в 1954 году Бэкус собрал команду для определения и разработки Fortran для компьютера IBM 704. Fortran стал первым языком программирования высокого уровня, получившим широкое распространение. Этот широко используемый язык сделал компьютеры практичными и доступными машинами для ученых и других специалистов, не требуя от них глубоких знаний о технической стороне.
the computer scientist
John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist. He led the team that invented and implemented FORTRAN, the first widely used high level programming language, and was the inventor of the Backus–Naur form (BNF), a widely used notation to define syntaxes of formal languages. He later did research into the function level programming paradigm, presenting his findings in his influential 1977 Turing Award lecture "Can Programming Be Liberated from the von Neumann Style?" The IEEE awarded Backus the W. W. McDowell Award in 1967 for the development of FORTRAN. He received the National Medal of Science in 1975 and the 1977 Turing Award "for profound, influential, and lasting contributions to the design of practical high level programming systems, notably through his work on FORTRAN, and for publication of formal procedures for the specification of programming languages". John Backus retired in 1991. He died at his home in Ashland, Oregon on March 17, 2007. He studied at The Hill School in Pottstown, Pennsylvania, but he was apparently not a diligent student. He entered college at the University of Virginia to study chemistry, but struggled with his classes there, and he was expelled after less than a year for poor attendance. He was subsequently conscripted into the U. S. Army during World War II, During an internship at a hospital, he was diagnosed with a cranial bone tumor, which was successfully removed, and a plate was installed in his head. He then moved to the Flower and Fifth Avenue Medical School for medical school, but found it uninteresting and dropped out after nine months. and received an honorable medical discharge from the U. S. Army in 1946. and joined IBM in 1950. During his first three years, he worked on the Selective Sequence Electronic Calculator (SSEC); his first major project was to write a program to calculate positions of the Moon. In 1953, Backus developed the language Speedcoding, the first high level language created for an IBM computer, to aid in software development for the IBM 701 computer. Programming was very difficult at this time, and in 1954 Backus assembled a team to define and develop Fortran for the IBM 704 computer. Fortran was the first high level programming language to be put to broad use. This widely used language made computers practical and accessible machines for scientists and others without requiring them to have deep knowledge of the machinery.
Нашему виду
Бэкус участвовал в работе международных комитетов, разработавших ALGOL 58 и оказавший огромное влияние ALGOL 60, который быстро стал общепринятым мировым стандартом для публикации алгоритмов. Бэкус разработал форму Бэкуса — Наура (BNF), опубликованную в отчете ЮНЕСКО по ALGOL 58. Это была формальная нотация, позволяющая описывать любой контекстно-свободный язык программирования, и она сыграла важную роль в разработке компиляторов. Были предприняты некоторые попытки отклониться от этого подхода (в частности, в Lisp и APL), но к 1970-м годам контекстно-свободные спецификации Бэкуса — Наура для языков программирования стали довольно стандартными, после разработки автоматических генераторов компиляторов, таких как yacc. Этот вклад помог Бэксусу получить премию Тьюринга в 1977 году.
Программирование на уровне функций
Позже Бэкус работал над языком программирования на уровне функций, известным как FP, который был описан в его лекции при присуждении премии Тьюринга "Можно ли освободить программирование от стиля фон Неймана?" как идентичный традиционным языкам функционального программирования. FP был сильно вдохновлён APL Кеннета Иверсона, вплоть до использования нестандартного набора символов. Интерпретатор FP распространялся вместе с операционной системой 4.2BSD Unix, однако существовало относительно немного реализаций этого языка, большинство из которых использовались в образовательных целях. В последние годы своей карьеры Бэкус разрабатывал FL (от "Function Level") – преемника FP. FL был внутренним исследовательским проектом IBM, и разработка языка была прекращена после завершения проекта. Сохранилось лишь несколько публикаций, описывающих его, а исходный код компилятора, описанного в них, так и не был опубликован. FL шёл вразрез с функциональными языками программирования, разрабатываемыми в 1980-х годах, большинство из которых основывались на лямбда-исчислении и статической типизации, а не, как в APL, на конкатенации примитивных операций. Многие идеи этого языка впоследствии были реализованы в различных версиях языка программирования J, преемнике APL, разработанном Иверсоном.