Ричард Бёрд: некролог 💻📚

Мой наставник, коллега и друг Ричард Бёрд, который ушёл из жизни в возрасте 79 лет после борьбы с раком, был выдающимся специалистом в области компьютерных наук, сосредоточившимся на математике программирования. Вместо того чтобы бесконечно искать и исправлять ошибки в программе, пока она не пройдет все тесты, он настаивал на создании программ на основе точного математического описания того, что они должны делать — как при делении нацело, когда мы вычисляем частное и остаток, а не просто угадываем.

Ричард родился в Лондоне. Его родители, Кей и Джек, были владельцами пабов: сначала они управляли «The Rose» в Нортфлите, Кент, затем «Prince of Wales» в Кливэр Сквер, южный Лондон, а позже «Horseshoe and Wheatsheaf» возле Лондонского моста. Ричард учился в гимназии Святого Олавы в Саутварке, затем изучал математику в Кембридже.

После короткой работы в отделе продаж компании International Computers and Tabulators он начал аспирантуру в Лондонском институте компьютерных наук. В 1972 году Ричард стал преподавателем в Университете Рединга, а в 1983 году перешёл в Группу исследований программирования в Оксфордском университете, где проработал всю карьеру, став профессором, директором подразделения и выйдя на пенсию в 2008 году.

Его научная специализация — функциональное программирование, подход к программированию, основанный на традиционных математических принципах. Для него было очевидно, что программы — это математические объекты, с которыми можно работать так же, как с алгебраическими выражениями. В 1980 году он начал плодотворное сотрудничество с Ламбертом Мертенсом из Амстердама, разработав то, что стало известно как формализм Бёрда-Мертенса, или «Squiggol» среди коллег.

Ричард был известен во всём мире ясностью и остроумием своих текстов. За жизнь он опубликовал около 100 научных статей — не особенно много для учёного, но каждая была тщательно отточена. Он также написал или соавторствовал семи книг, самой популярной из которых стала «Introduction to Functional Programming» (1988, совместно с Филом Уодлером), отражающая его педагогическое видение. Он ввёл концепцию «функциональных жемчужин» — лаконичных, элегантных и увлекательных изложений программных идей, которые служат примером его стиля. Коллеги называли его «поэтом функционального программирования».

Ричард также был любим коллегами, студентами и административным персоналом за открытость, щедрость и равенство в общении. Он взял меня под своё крыло как своего докторанта, когда я приехал в Оксфорд без проекта, и я во многом обязан ему своей карьерой.

Кроме науки, Ричард увлекался кино, активно играл в бридж и покер. В студенческие годы играл на бонго, а позже осваивал укулеле. Он встретил Норму Лапворт, учителя и позже инспектора Ofsted, на дне рождения, и они поженились в 1967 году. Его переживают жена Норма и младшая сестра Джеки.

Ричард Бёрд оставил после себя наследие ученого, педагога и человека, который умел соединять математику и творчество, науку и юмор. 🌟