Умер Тони Хоар, создатель алгоритма быстрой сортировки Quicksort

Пионер компьютерных наук, лауреат премии Тьюринга сэр Чарльз Энтони Ричард Хоар, известный как Тони Хоар, скончался в возрасте 92 лет. Он вошёл в историю как создатель одного из самых эффективных алгоритмов сортировки — Quicksort, который придумал в 1959 году, заключив пари со своим начальником на шесть пенсов.

Алгоритм Quicksort, разработанный Хоаром во время работы в компании Elliott Computers, до сих пор остаётся одним из самых быстрых способов сортировки данных. Как вспоминал его друг Джим Майлс, начальник Хоара поспорил с ним, что тот не знает более быстрого алгоритма. Хоар не только доказал обратное, но и честно получил свой выигрыш в шесть пенсов.

Помимо этого фундаментального вклада, Хоар разработал логику Хоара — систему для строгой проверки корректности программ, был соавтором языка программирования ALGOL W (ставшего основой для Pascal) и создал модель взаимодействующих последовательных процессов (CSP), которая повлияла на такие языки, как Go и Erlang.

В 1980 году он получил премию Тьюринга, высшую награду в области компьютерных наук. В своей лекции «Старое платье императора» он с присущим ему остроумием и самоиронией критиковал чрезмерно сложное программное обеспечение, призывая коллег к простоте и надёжности.

Одной из его самых известных цитат стала:

«Есть два способа создания проекта программного обеспечения: один — сделать его настолько простым, чтобы в нём очевидно не было недостатков, а другой — сделать его настолько сложным, чтобы в нём не было очевидных недостатков».

Тони Хоар родился в 1934 году в Коломбо (Шри-Ланка), изучал классическую филологию в Оксфорде, служил в британском флоте и изучал математику в Московском университете. В 2000 году королева Елизавета II посвятила его в рыцари за заслуги в образовании и компьютерных науках.