Рубрики
Технологии

[Перевод] Интервью с Эдсгером В. Дейкстрой (2001), часть 2: программирование как искусство доказательств

Вторая часть интервью 2001 года Ф. Франы с Э. Дейкстрой.

На этот раз в основном про то, как важно сначала формализовать требования, а потом писать код.

Продолжаем вспоминать историю программирования, которая помогает ответить на вопрос, почему оно получилось таким, а не другим.

Читать далее