Пришли печальные новости. В прошлый четверг, 5 марта 2026 года, в возрасте 92 лет ушел из жизни сэр Чарльз Энтони Ричард (Тони) Хоар^[1] — один из величайших пионеров информатики, лауреат премии Тьюринга (1980) и человек, чьи идеи лежат в основе многих технологий, которыми мы пользуемся каждый день^[2].

Сэр Тони Хоар

На фотографии представлен качественный погрудный портрет сэра Чарльза Энтони Ричарда (Тони) Хоара, сделанный во время его публичного выступления или лекции на конференции. Федеральная политехническая школа Лозанны (EPFL), Швейцария. На момент съемки ученому 77 лет. Автор: Rama. Источник: Wikipedia

Его знакомый и математик Джим Майлз (Jim Miles) на днях поделился трогательными личными воспоминаниями о последних годах жизни ученого. В этой статье мы хотим почтить память Тони Хоара, вспомнить его главные достижения, навсегда изменившие информатику, и рассказать несколько интересных историй о том, каким он был человеком вне академических статей и алгоритмов.

Наследие, на котором держится IT

Имя Хоара известно каждому студенту профильных вузов. Вот лишь малая часть его фундаментального вклада в индустрию:

1. Алгоритм быстрой сортировки (Quicksort) Хоар разработал Quicksort (а также алгоритм поиска Quickselect) в 1959–1960 годах, когда в качестве студента по обмену изучал теорию вероятностей в МГУ в Советском Союзе и занимался проблемами машинного перевода^[3].С этим алгоритмом связано легендарное «пари на шесть пенсов». Вернувшись в Великобританию и устроившись программистом в компанию Elliott Brothers Ltd^[4], Тони сказал своему начальнику, что придумал алгоритм сортировки, который работает быстрее, чем тот, что он только что реализовал для их нового компьютера. Начальник ответил: «Ставлю шесть пенсов, что это не так!». В итоге Quicksort действительно оказался быстрее, и Тони честно получил свой выигрыш. Джим Майлз вспоминает, что Тони очень любил эту историю и всегда подчеркивал важную деталь: он как настоящий профессионал сначала послушно и качественно написал медленный алгоритм, который от него требовали, и лишь потом предложил свою революционную идею.

2. Логика Хоара (Hoare Logic) В 1969 году Тони Хоар опубликовал статью «Аксиоматические основы компьютерного программирования», заложив основы строгой математической верификации программного обеспечения. Знаменитые «тройки Хоара» {P} C {Q}, где P — предусловие, C — исполняемый код, а Q — постусловие, стали стандартным формальным инструментом для доказательства корректности работы программ^[5][6][7].

3. Взаимодействующие последовательные процессы (CSP) В 1978 году Хоар представил CSP (Communicating Sequential Processes) — формальный язык, предназначенный для описания взаимодействия параллельных процессов^[8]. Эта концепция оказала огромное влияние на индустрию: идеи CSP (в частности, отсутствие общих данных и использование каналов для синхронизации и обмена сообщениями) напрямую легли в основу языков Occam, Erlang и современного Go (в виде горутин и каналов)^[1:1][9].

4. «Ошибка на миллиард долларов» (Null Reference) Тони Хоар известен не только своими триумфами, но и умением публично признавать ошибки. В 1965 году, разрабатывая систему типов для объектно-ориентированного языка ALGOL W, он впервые ввел концепцию «нулевой ссылки»^[10]. В 2009 году на конференции QCon он принес индустрии извинения: «Я называю это своей ошибкой на миллиард долларов… Я просто не смог устоять перед искушением добавить нулевую ссылку, потому что это было так легко реализовать. Это привело к бесчисленным ошибкам, уязвимостям и системным сбоям, которые, вероятно, причинили ущерб на миллиард долларов за последние сорок лет»^{[1:2][10:1][11]}. Сегодня такие языки, как Rust и Swift, проектируются с учетом этой ошибки, жестко контролируя отсутствие значения на уровне компилятора^[9:1][12].

Каким Тони Хоар был в жизни?

Интересно, что Тони не всегда планировал становиться программистом. В Оксфорде он получил степень по классической литературе и философии^[3:1][4:1]. После университета он проходил срочную службу в Королевском военно-морском флоте в языковой школе JSSL, где интенсивно изучал русский язык^[1:3]. Впоследствии это помогло ему на заре карьеры, когда он ездил по миру (в том числе в СССР) и демонстрировал работу ранних компьютеров на различных международных выставках.

Джим Майлз, часто навещавший Хоара в его доме в Кембридже (Великобритания) в последние 5 лет, отмечает, что даже разменяв десятый десяток, сэр Тони сохранял феноменальную ясность ума, острую память и прекрасное чувство юмора.

Работая старшим исследователем в подразделении Microsoft Research в Кембридже^[13], Тони любил иногда «сбежать» с работы днем в местный кинотеатр Arts Picturehouse. Коллеги раскусили его, когда в рабочем разговоре о новинках кино выяснилось, что Тони уже посмотрел обсуждаемый фильм в разгар дня. Впрочем, руководство Microsoft относилось к этой маленькой слабости великого ученого более чем лояльно.

К слову о кино: Хоар категорически не принимал то, как Голливуд (на примере фильма «Умница Уилл Хантинг») изображает гениев математики — как людей, которым озарения приходят мгновенно, без объяснений. По его твердому убеждению, в реальности выдающиеся умы бьются над одной-единственной абстрактной проблемой годами кропотливого труда.

Напоследок стоит упомянуть один интригующий разговор. Когда Майлз попытался разжечь интерес Хоара тривиальными темами вроде пределов закона Мура или квантовых компьютеров в контексте взлома современной криптографии, Тони ответил загадочной фразой: «Ну, конечно, ничто из того, что у нас есть, даже близко не стоит с тем, к чему имеет доступ правительство. Они всегда будут на годы впереди того, что вы можете себе представить». Учитывая любовь Хоара к иронии и тонкому троллингу, остаётся лишь гадать — пошутил ли он, или за свою многолетнюю карьеру действительно видел нечто большее.

Сэр Чарльз Энтони Ричард Хоар (11 января 1934 – 5 марта 2026) прожил долгую, невероятно насыщенную и плодотворную жизнь. Он заложил фундамент, на котором сегодня держится вся наша индустрия.

Покойся с миром, Тони. Сообщество разработчиков будет вечно благодарно за твое наследие, терпение, мудрость и… даже за ту самую ошибку на миллиард долларов.

Источники

1. Tony Hoare — Wikipedia

2. C. Antony R. Hoare — A.M. Turing Award Laureate

3. Tony Hoare | Biography, Quicksort, & Turing Award — Britannica

4. Prof Tony Hoare — Department of Computer Science, University of Oxford

5. Hoare logic — Wikipedia

6. Hoare Logic: Software Foundations — University of Pennsylvania

7. Hoare Logic — Stanford University

8. Communicating Sequential Processes, PDF — University of Oxford

9. Null References: The Billion Dollar Mistake discussion — Hacker News

10. Null Reference Exception: The Billion Dollar Mistake — Devot Blog

11. . Null References: The Billion Dollar Mistake Presentation — InfoQ

12. The Billion Dollar Mistake and how Rust aims to solve it — Medium

13. Tony Hoare — Microsoft Research