22 лучших цитаты и высказывания Тони Хоара

В разработке программного обеспечения есть два метода. Во-первых, сделать программу настолько простой, чтобы в ней явно не было ошибок. Другой — сделать его настолько сложным, чтобы не было очевидных ошибок.

Конечной совместной задачей для биологических и вычислительных наук является понимание механизмов человеческого мозга и его связи с человеческим разумом.

В одном человеческом мозгу около ста миллионов нервных клеток... и компьютерная программа, которая проливает свет на проблему сознания/мозга, должна включать в себя глубочайшие идеи биологов, нервных ученых, психологов, физиологов, лингвистов, социологов и даже философы.

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

Программисты всегда окружены сложностью; мы не можем избежать этого... Если наш основной инструмент, язык, на котором мы проектируем и кодируем наши программы, также сложен, сам язык становится частью проблемы, а не частью ее решения.

Я не мог устоять перед искушением указать нулевую ссылку просто потому, что это было так легко реализовать. Это привело к бесчисленным ошибкам, уязвимостям и системным сбоям, которые, вероятно, причинили миллиарды долларов боли и ущерба за последние сорок лет.

Сначала я надеялся, что такой технически несостоятельный проект рухнет, но вскоре понял, что он обречен на успех. Почти все в программном обеспечении может быть реализовано, продано и даже использовано при достаточной решимости. Простой ученый не может сказать ничего, что могло бы противостоять потоку в сто миллионов долларов. Но есть одно качество, которое нельзя купить таким образом – это надежность. Цена надежности — стремление к предельной простоте. Это цена, которую очень богатым трудно заплатить.

Настоящая ценность тестов не в том, что они выявляют ошибки в коде, а в том, что они выявляют недостатки в методах, концентрации и навыках тех, кто проектирует и производит код.

В конце концов я убедился в необходимости разрабатывать программные нотации таким образом, чтобы максимизировать количество ошибок, которые не могут быть сделаны или, если они будут сделаны, могут быть надежно обнаружены во время компиляции.

Это язык, который настолько опередил свое время, что стал лучше не только своих предшественников, но и почти всех своих преемников.

В развитии понимания сложных явлений самым мощным инструментом, доступным человеческому интеллекту, является абстракция. Абстракция возникает из признания сходства между определенными объектами, ситуациями или процессами в реальном мире и решения сконцентрироваться на этих сходствах и игнорировать на время их различия.

Неизбежная цена надежности — простота.

Задача формальных методов состоит в том, чтобы прояснить допущения, от которых зависит формальная корректность.

Я называю это своей ошибкой на миллиард долларов. Это было изобретение нулевой ссылки в 1965 году.

Некоторые проблемы лучше избежать, чем решить.

Вы не можете научить новичков программированию сверху вниз, потому что они не знают, где конец вверх.

Цена надежности — стремление к предельной простоте. Это цена, которую очень богатым может быть трудно заплатить.

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

Я не знаю, как будет выглядеть язык 2000 года, но я знаю, что он будет называться Фортран.

Преждевременная оптимизация — корень всех зол в программировании.

Что является центральным ядром предмета [информатики]? Что отличает его от отдельных предметов, с которыми он связан? Какая связующая нить собирает эти разрозненные ветви в единую дисциплину? Мой ответ на эти вопросы прост — это искусство программирования компьютера. Это искусство разработки эффективных и элегантных способов заставить компьютер решать задачи, теоретические или практические, маленькие или большие, простые или сложные. Это искусство перевода этого дизайна в эффективную и точную компьютерную программу.

Внутри каждой большой программы есть маленькая программа, пытающаяся выбраться наружу.