Мой наставник, коллега и друг Ричард Бёрд, умерший от рака в возрасте 79 лет, был ученый-компьютерщик, специализирующийся на математике компьютерного программирования. Вместо того, чтобы постоянно находить и исправлять ошибки в программе до тех пор, пока она не пройдет все тесты, он выступал за расчет программы на основе точной спецификации того, что она должна делать — точно так же, как вычисляют частное и остаток путем деления в большую сторону, а не угадывают и вычисляют. исправление ответа.
Ричард родился в Лондоне. Его родители, Кей и Джек, были трактирщиками, которые управляли ресторанами «Роуз» в Нортфлите в Кенте, «Принц Уэльский» на Кливер-сквер в южном Лондоне, затем «Подкова» и «Пшеничный сноп» возле Лондонского моста. Ричард посещал гимназию Святого Олава в Саутварке, затем изучал математику в Кембридже. После непродолжительного периода работы в отделе продаж компании International Computers and Tabulators он поступил в аспирантуру Института компьютерных наук Лондонского университета.
Ричард стал преподавать в Университете Рединга в 1972 году, а в 1983 году перешел в Исследовательскую группу по программированию в Оксфордском университете. Он оставался там на протяжении всей своей карьеры, получил звание профессора, стал директором и, наконец, вышел на пенсию в 2008 году. /p>
Областью его исследований было функциональное программирование — подход к компьютерному программированию, основанный на традиционных математических соглашениях. Для него было само собой разумеющимся — в отличие от многих — что программы являются математическими объектами, которыми можно манипулировать так же, как в школьной алгебре.
В 1980 году он начал очень плодотворное сотрудничество с Ламбертом Миртенсом из Амстердама, разработав то, что стало известно своим друзьям как формализм Берда-Миртенса, или «Сквиггол».
Ричард был известен во всем мире благодаря ясности и остроумию своих текстов. За свою жизнь он опубликовал около 100 научных работ — не особенно плодовитых для ученого, но каждая из них была тщательно отшлифована. Он также является автором или соавтором семи книг, самая любимая из которых — «Введение в функциональное программирование» (1988, совместно с Филом Уодлером), в которой излагается его педагогическое видение.
Он также известен тем, что представил «функциональные жемчужины» — освещающие презентации идей программирования. Это не просто сокращенные версии стандартных исследовательских работ: они могут представлять известные результаты, но они должны быть «отточенными, элегантными, поучительными, интересными». Собственное письмо Ричарда олицетворяло их; коллега назвал его «поэтом-лауреатом функционального программирования».
Но Ричарда также любили коллеги, студенты и администрация отдела за его открытость, щедрость и эгалитаризм. Он взял меня под свое крыло в качестве своего докторанта, когда я приехал в Оксфорд без проекта, и я в основном обязан ему всей своей карьерой.
Помимо того, что я очень начитан, он был киноманом и заядлым игроком в бридж и покер. Будучи студентом, он играл на бонго, а в более позднем возрасте занялся укулеле.
Он встретил Норму Лэпворт, учительницу, а позже инспектора Ofsted, на вечеринке по случаю дня рождения, и они поженились в 1967 году. Она пережила его, как и его младшая сестра, Джеки.
Свежие комментарии