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

Стоп, стоп. Дублирование кода разве не добавляет сложности? Повальный system не замазывает артефакты оберона, КП?