Нашёл воднойиз последних заметок Дейкстры такие слова (2000 год, впереводе):> -- Цитата:
> Видите ли, в то время, как мы все знаем, что причиной всех бед является неуправляемая сложность, мы не знаем, ни какой степени простоты можно достичь, ни до какой степени внутренняя сложность разработки в целом должна отражаться на видимых интерфейсах. Мы попросту до сих пор не знаем, насколько сможем выпутаться из этого. Мы до сих пор не знаем, можно ли отличить сложность, присущую самой задаче, от случайной сложности. Мы до сих пор не знаем, будут ли возможны компромиссы. Мы до сих пор не знаем, сумеем ли разработать для сложности осмысленную концепцию, на базе которой сможем построить полезную теорию. Откровенно говоря, мы просто до сих пор не знаем, о чем нам следует говорить, но это не должно нас беспокоить, поскольку это только иллюстрирует, что имеется в виду под непонятными целями и негарантированными результатами.Возможно, под маскировкой "сильнейшей стороны компьютера" Дейкстра имел в виду, по-моему, как раз эту проблему: формальную систему не используют по-настоящему для преодоления и управления сложностью, заглаживая и замазывая возникающие артефакты, пользуясь сложившимися удобствами и не участвуя в процессе осмысленно, при этом отказываясь от проектирования будущего.