Кудесник
Короткие цитаты
  • Сегодня обычная технология - сделать программу, а затем оттестировать ее. Но тестирование программы может весьма эффективно продемонстрировать наличие ошибок, но безнадежно неадекватно для демонстрации их отсутствия - Э.Дейкстра
  • Но не следует сначала писать программу, а затем доказывать ее корректность, потому что тогда требование предоставить доказательство только увеличит обузу бедного программиста. Наоборот, программист должен позволять расти доказательству корректности и программе совместно - Э.Дейкстра
  • единственный умственный инструмент, посредством которого весьма ограниченный разум может охватить мириады различных вариантов, называется "абстракцией" ... цель абстракции - не напустить тумана, а создать новый семантический уровень, на котором она будет абсолютно точна - Э.Дейкстра
  • инструменты, которые мы пытаемся использовать, и язык и обозначения, которые мы используем для выражения или записи наших мыслей, являются основным фактором, который определяет, о чем мы вообще можем мыслить и что можем выразить - Э.Дейкстра
  • разработка "более богатых возможностями" или "более мощных" языков программирования была ошибкой в том смысле, что эта причудливая монструозность, это нагромождение идиосинкразий в действительности неуправляемы как механически, так и ментально. Я предвижу великое будущее для очень систематических и очень умеренных языков - Э.Дейкстра
  • Программирование останется весьма трудным, потому что как только мы избавимся от обременительных деталей, мы окажемся свободны для того, чтобы приняться за задачи, которые лежат пока за пределами наших возможностей - Э.Дейкстра
  • мы можем в действительности удовлетворительно решить только те задачи, которые допускают хорошо структурированное решение - Э.Дейкстра
  • Настоящее кодирование требует огромной тщательности и неизменного таланта к точности; оно трудоемко, и поэтому его следует откладывать до тех пор, пока вы не станете максимально уверены в том, что программа, к кодированию которой вы намерены приступить, - это та самая программа, к которой вы стремитесь... Основная забота при обучении студентов программированию - это научить их сначала думать, а не поспешно бросаться кодировать - Э.Дейкстра
  • Было бы ошибкой думать, что результат работы программиста - это те программы, которые он пишет; программист должен производить решения, заслуживающие доверия, и он должен производить и представлять их в виде убедительных аргументов. Эти аргументы образуют ядро его продукта, а текст программы - всего лишь сопроводительный материал, к которому эти аргументы применимы - Э.Дейкстра
  • Программирование имеет свой предмет, не сводящийся ни к конкретным языкам и системам, ни к методам построения быстрых алгоритмов - А.Шень

    ::: На главную :::