Нашёлу Дейкстрыхорошую формулу для забарывания сложности, привожуперевод:> -- Цитата:
> формулирование точных определений регистрирует зарождающуюся сложность на ранних этапах (precise definition as a design principle acts as an indispensable early-warning system for complexity inadvertently creeping in)В связи с этим возникла мысль - а не является ли строгий и минималистичный дизайн формальной системы Оберона наилучшим средством для такой регистрации? Ведь чем проще и понятнее (не примитивнее!) формальный аппарат, тем легче его применять, не отвлекаясь от проблемной области.