> -- Валерий Лаптев писал(а):
> Приходим практически к Эйфелю Бертрана Мейера.Книжка 1500 страниц
А там разве инварианты статически проверятся, при компиляции? Не помню, что бы писалось об этом -- вроде только динамически...