Здравствуйте, lpd, Вы писали:

lpd>Странно звучат "все проверяется", и "гарантирует корректность кода", т.к. в реальных программах основную сложность составляют проблемы вовсе не те, что пытаются решать создатели современного С++ своими дополнительными проверками корректности типов или raii, либо этих мер все равно недостаточно.

Можно от абстрактных рассуждений перейти к конкретике? Озвучьте, пожалуйста, пример подобной "основной сложности".

А то ведь может оказаться, что главную роль в борьбе с ней будут играть проектные решения, а языковые возможности разве что позволят сократить количество рутины.