Как «худший» программист IBM изменил всю IT-индустрию. Он просто хотел перестать писать плохой код, а в итоге вошел в историю.
Математик из IBM потратил три года, будучи уверенным, что он самый плохой разработчик в компании. Пытаясь избежать этого позора, он создал инструмент, к которому сегодня сводится каждая строчка кода на планете. Его звали Джон Бэкус.
Джон Бэкус родился в 1924 году. Он не оправдал ожиданий своего богатого отца-брокера: вылетел из Университета Вирджинии, бросил Хаверфордский колледж и ушел из медицинской программы армии. Все изменилось в 1945 году. Зайдя в мастерскую по ремонту радиоприемников, он с нуля собрал радио, хотя никогда раньше этого не делал. В тот день он понял, чем хочет заниматься на самом деле. Самостоятельно выучив математику и окончив Колумбийский университет, в 1950 году он устроился в IBM. В то время компьютеры программировались на чистом машинном коде из нулей и единиц. Лучшие программисты держали всю аппаратную логику в голове. Бэкус так не мог - его программы были медленными и запутанными на фоне работы коллег.
Чувствуя унижение, он решил создать для себя вспомогательный инструмент. Идея казалась наивной: писать математические выражения в привычном для человека виде, чтобы компьютер сам автоматически переводил их в машинный код. Проект получил название «перевод формул» (Formula Translation). Коллеги считали идею игрушкой. Главной проблемой была скорость. Все понимали, что машинный код, написанный опытным человеком, всегда будет работать быстрее кода от автоматического переводчика, так как машина вынуждена делать допущения, теряя эффективность.
Бэкус потратил три года, чтобы доказать их неправоту. В 1957 году IBM выпустила FORTRAN - первый в истории компилируемый язык программирования. Транслятор Бэкуса оказался настолько эффективным, что его код работал со скоростью, уступающей ручному вводу всего на 20%. Ученые смогли писать программы за часы вместо недель. Рынок вычислений изменился за одну ночь.
Вскоре произошло то, чего никто не ожидал: другие люди начали создавать другие языки на основе той же идеи. Появились COBOL, LISP, ALGOL, BASIC. Архитектурная логика FORTRAN доказала главное: компьютер может читать то, что напоминает человеческую мысль, а не наоборот.
В 1977 году Джон Бэкус получил премию Тьюринга. В своей речи он признался, что не собирался менять мир вычислений - он просто хотел перестать писать плохой код. Разрыв между тем, в чем вы плохи, и тем, что вы пытаетесь исправить - это то самое место, где обычно рождаются настоящие изобретения.
