Алан Перлис¶

Алан Перлис — американский учёный в области информатики, пионер программирования, первый лауреат премии Тьюринга (1966) и создатель языка программирования ALGOL. Известен также как автор афоризмов о программировании, собранных в «Эпиграммах программирования» (1982). Его работы оказали значительное влияние на развитие структурного программирования, компиляторов и теории языков программирования.

¶Биография

¶Ранние годы и образование

Алан Джей Перлис родился 1 апреля 1922 года в Питтсбурге, штат Пенсильвания, в семье еврейских иммигрантов из Российской империи. Его отец, Ноах Перлис, был инженером-электриком, мать — домохозяйкой. В 1943 году Алан окончил Университет Карнеги-Меллона (тогда — Технологический институт Карнеги) со степенью бакалавра по химии. Во время Второй мировой войны служил в ВВС США, где занимался метеорологией и баллистическими расчётами. После войны поступил в Массачусетский технологический институт (MIT), где в 1950 году защитил докторскую диссертацию по математике, посвящённую численным методам решения дифференциальных уравнений.

¶Карьера

С 1950 по 1952 год Перлис работал в Национальном бюро стандартов США, где участвовал в разработке первых электронных вычислительных машин. В 1952 году перешёл в Университет Пердью, где организовал первую в США университетскую программу по компьютерным наукам. В 1956 году стал профессором Университета Карнеги-Меллона, где основал кафедру компьютерных наук (одну из первых в мире) и руководил ею до 1971 года. В 1966 году за вклад в развитие компиляторов, языков программирования и вычислительной техники был удостоен первой премии Тьюринга. В 1971 году перешёл в Йельский университет, где работал до выхода на пенсию в 1988 году. Умер 7 февраля 1990 года в Нью-Хейвене, штат Коннектикут.

¶Вклад в информатику

¶Разработка ALGOL

Перлис был одним из ключевых участников международного комитета по созданию языка программирования ALGOL (1958–1960). Он предложил синтаксис, основанный на блочной структуре, что стало основой для последующих языков (Pascal, C, Java). ALGOL 60, в создании которого Перлис сыграл ведущую роль, ввёл такие понятия, как рекурсия, динамические массивы и формальное описание синтаксиса (БНФ). Перлис также разработал первый компилятор для ALGOL 60 на машине IBM 7090.

¶Теория компиляторов

Совместно с Джоном Маккарти и другими учёными Перлис заложил основы теории компиляторов. Его работы по оптимизации кода, синтаксическому анализу и генерации машинного кода стали классическими. В 1960-х годах он предложил метод «синтаксически управляемого перевода», который лёг в основу многих современных компиляторов.

¶Структурное программирование

Перлис был активным сторонником структурного программирования — подхода, при котором программы пишутся с использованием только базовых управляющих конструкций (последовательность, ветвление, цикл). Он критиковал использование оператора GOTO, называя его «вредным» для читаемости и надёжности кода. Его лекции и статьи способствовали популяризации этого подхода в 1970-х годах.

¶Эпиграммы программирования

В 1982 году Перлис опубликовал сборник афоризмов под названием «Эпиграммы программирования» (англ. Epigrams on Programming). Многие из них стали крылатыми фразами в сообществе разработчиков:

• «Программирование — это не наука, а искусство, которое требует дисциплины».
• «Лучше иметь 100 функций, работающих по одной, чем одну функцию, работающую по-разному в 100 случаях».
• «Если вы не можете объяснить это шестилетнему ребёнку, вы сами этого не понимаете» (позже приписывалось Альберту Эйнштейну, но первоисточник — Перлис).
• «Программист — это не человек, который пишет код, а человек, который решает задачи».
• «Сложность программы растёт быстрее, чем её размер».

Эпиграммы Перлиса отличаются лаконичностью, иронией и глубоким пониманием природы программирования. Они до сих пор цитируются в учебниках и на конференциях.

¶Критика и наследие

¶Критика

Некоторые современники критиковали Перлиса за излишний акцент на формальных методах и недостаточное внимание к практическим аспектам разработки программного обеспечения. Его взгляды на структурное программирование, хотя и оказали большое влияние, впоследствии были дополнены идеями объектно-ориентированного и функционального программирования. Также отмечалось, что его эпиграммы, будучи остроумными, иногда упрощали сложные проблемы.

¶Наследие

Перлис считается одним из отцов-основателей информатики как академической дисциплины. Его вклад в развитие языков программирования, компиляторов и методологии программирования признаётся во всём мире. Премия Тьюринга, которую он получил первым, стала символом признания заслуг в этой области. В его честь названа премия Алана Перлиса, вручаемая Ассоциацией вычислительной техники (ACM) за вклад в образование в области информатики. Его работы продолжают изучаться в университетах, а эпиграммы остаются источником вдохновения для программистов.

¶Основные труды

• A Programming Language (1962) — книга, в которой изложены принципы ALGOL.
• Algorithms + Data Structures = Programs (1976) — совместно с Никлаусом Виртом (в русском переводе — «Алгоритмы + структуры данных = программы»).
• Epigrams on Programming (1982) — сборник афоризмов.

¶Награды и звания

• Премия Тьюринга (1966)
• Член Американской академии искусств и наук (1973)
• Член Национальной инженерной академии США (1977)
• Почётный доктор Университета Карнеги-Меллона (1988)