- 5 марта 2026 года скончался сэр Чарльз Энтони Ричард (Тони) Хоар — выдающийся учёный в области информатики.
- Тони Хоар является создателем алгоритма быстрой сортировки (Quicksort), разработчиком логики Хоара и автором формализма CSP для параллельного программирования.
- Он публично признал свою «ошибку на миллиард долларов» — введение нулевой ссылки, которая стала причиной множества программных ошибок и уязвимостей.
Сэр Чарльз Энтони Ричард Хоар, известный как Тони Хоар, ушёл из жизни в возрасте 92 лет. За свою долгую карьеру он внёс фундаментальный вклад в развитие информатики и программирования. В 1980 году он был удостоен премии Тьюринга — высшей награды в области компьютерных наук. Его научные идеи и достижения легли в основу многих современных технологий и методов разработки программного обеспечения.
Одним из самых известных достижений Тони Хоара является алгоритм быстрой сортировки Quicksort, созданный в 1959–1960 годах во время его учёбы в Московском государственном университете. Этот алгоритм быстро завоевал признание благодаря высокой эффективности по сравнению с тогдашними решениями. Сохранилась легендарная история, как Хоар сделал «пари на шесть пенсов» с начальником, доказывая преимущество своего алгоритма. Помимо Quicksort, он разработал алгоритм Quickselect для поиска статистик по выборке.
В 1969 году Хоар опубликовал статью об аксиоматическом подходе к программированию, заложив тем самым основы логики Хоара. Этот формальный аппарат позволяет доказывать корректность программ с использованием предусловий, кода и постусловий, и по сей день является стандартным инструментом в теории верификации программного обеспечения.
Ещё одно знаковое достижение — разработка концепции взаимодействующих последовательных процессов (Communicating Sequential Processes, CSP) в 1978 году. Этот формализм стал ключевым для описания и управления параллельными вычислениями, повлияв на создание языков программирования, таких как Occam, Erlang и современные средства параллелизма в Go.
При этом Хоар не стремился скрыть или замалчивать ошибки. Известна его «ошибка на миллиард долларов», связанная с вводом нулевой ссылки (null reference) в языки программирования в 1965 году. Спустя годы он публично признал, что это решение породило огромную массу багов и уязвимостей, причинивших индустрии значительный ущерб. Современные языки, включая Rust и Swift, пытаются решать эту проблему на уровне компилятора, предотвращая ошибки, связанные с null.
Помимо научной работы, Тони Хоар отличался глубиной мышления и разносторонними интересами. По образованию он был специалистом по классической литературе и философии, а служба в военно-морском флоте и владение русским языком сыграли роль в его международной деятельности. В последние годы он продолжал работать в Microsoft Research в Кембридже, где славился острым умом и чувством юмора, неразрывно связавшись с научным сообществом до самого конца жизни.
В память о нём сохранится наследие, оказавшее огромное влияние на развитие индустрии и принципы построения программного обеспечения. Сэр Тони Хоар вошёл в историю как гений, чьи идеи продолжают формировать современные технологии, а также как человек, умеющий признать свои ошибки и философски смотреть на вызовы программистского ремесла.
